perm filename F86.OUT[LET,JMC] blob
sn#831641 filedate 1986-12-31 generic text, type C, neo UTF8
COMMENT ⊗ VALID 00398 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00036 00002
C00037 00003 ∂01-Oct-86 1644 JMC Fall class handouts
C00041 00004 ∂02-Oct-86 1049 JMC re: ofind command
C00042 00005 ∂02-Oct-86 1110 JMC
C00043 00006 ∂02-Oct-86 1235 JMC re: Symbolic Systems Faculty Roster
C00044 00007 ∂02-Oct-86 1453 JMC re: cryptograms with multiple decodings
C00045 00008 ∂02-Oct-86 1457 JMC
C00046 00009 ∂02-Oct-86 1606 JMC re: ofind command
C00047 00010 ∂02-Oct-86 2326 JMC
C00048 00011 ∂03-Oct-86 1040 JMC re: Forwarding: The ELEPHANT Language
C00049 00012 ∂03-Oct-86 1042 JMC Paper to send
C00050 00013 ∂03-Oct-86 1045 JMC re: cryptogram
C00051 00014 ∂03-Oct-86 1129 JMC hours
C00052 00015 ∂03-Oct-86 1203 JMC re: Eric Drexler
C00053 00016 ∂03-Oct-86 1204 JMC re: new schedule
C00054 00017 ∂03-Oct-86 1418 Mailer failed mail returned
C00055 00018 ∂03-Oct-86 1421 JMC
C00059 00019 ∂03-Oct-86 1424 JMC
C00060 00020 ∂03-Oct-86 1436 JMC re: would you mind?
C00061 00021 ∂03-Oct-86 1505 JMC
C00062 00022 ∂03-Oct-86 1510 JMC
C00063 00023 ∂03-Oct-86 1554 JMC John Cocke
C00064 00024 ∂03-Oct-86 1751 JMC Quote out of context
C00068 00025 ∂03-Oct-86 1756 JMC Einstein
C00069 00026 ∂03-Oct-86 1800 JMC contemptible even handedness
C00070 00027 ∂03-Oct-86 2047 JMC re: two things two times
C00071 00028 ∂03-Oct-86 2052 JMC re: two things
C00072 00029 ∂03-Oct-86 2058 JMC postponement
C00073 00030 ∂04-Oct-86 1033 JMC Neiman-Marcus
C00074 00031 ∂04-Oct-86 1445 JMC American Spectator
C00075 00032 ∂04-Oct-86 2217 JMC re: Tenure track
C00076 00033 ∂04-Oct-86 2220 JMC re: picture request
C00077 00034 ∂05-Oct-86 1023 Mailer failed mail returned
C00078 00035 ∂05-Oct-86 1816 JMC
C00079 00036 ∂05-Oct-86 1835 JMC reply
C00080 00037 ∂05-Oct-86 1838 JMC re: Classes using LOTS
C00081 00038 ∂06-Oct-86 1309 JMC Einstein, etc.
C00082 00039 ∂06-Oct-86 1544 JMC re: Machines for CS306
C00083 00040 ∂06-Oct-86 1727 JMC CS306
C00085 00041 ∂06-Oct-86 2032 JMC re: Meeting next Monday
C00086 00042 ∂06-Oct-86 2242 JMC re: Paly International Festival
C00087 00043 ∂07-Oct-86 1042 JMC re: Appearance in class
C00088 00044 ∂07-Oct-86 1130 JMC
C00089 00045 ∂07-Oct-86 1257 JMC error
C00090 00046 ∂07-Oct-86 1444 JMC
C00091 00047 ∂07-Oct-86 1504 JMC re: aircraft compass turn/accel error explanation
C00092 00048 ∂07-Oct-86 1813 JMC re: Good news in Marla Hanson case
C00093 00049 ∂07-Oct-86 2302 JMC
C00094 00050 ∂08-Oct-86 0012 JMC RAship
C00099 00051 ∂08-Oct-86 0014 JMC re: RAship
C00100 00052 ∂08-Oct-86 0908 JMC re: [Reply to message recvd: 07 Oct 86 23:02 Pacific Time]
C00101 00053 ∂08-Oct-86 1348 JMC re: Student Advising Hours
C00102 00054 ∂08-Oct-86 1350 JMC re: so long sucker?
C00103 00055 ∂08-Oct-86 2102 JMC re: CS306
C00104 00056 ∂09-Oct-86 1150 JMC McDermott
C00105 00057 ∂09-Oct-86 2016 JMC Grade for CS206/306
C00107 00058 ∂09-Oct-86 2017 JMC re: Grade for CS206/306
C00108 00059 ∂10-Oct-86 0009 JMC driving test
C00109 00060 ∂10-Oct-86 2037 JMC re: CS306 tutors
C00110 00061 ∂11-Oct-86 0956 JMC my psych-oriented ... friends have convinced me
C00111 00062 ∂12-Oct-86 1959 JMC re: Quote out of context
C00112 00063 ∂12-Oct-86 2315 JMC
C00113 00064 ∂13-Oct-86 1428 JMC LOTS allocation for EKL
C00114 00065 ∂13-Oct-86 1434 JMC more information about cs306 requirement
C00115 00066 ∂13-Oct-86 1808 JMC grade for Arthur Lee
C00116 00067 ∂14-Oct-86 0754 JMC re: Emycin Criticism
C00118 00068 ∂14-Oct-86 1010 JMC Math/CS": Socrates display
C00121 00069 ∂14-Oct-86 1011 JMC copies of report
C00124 00070 ∂14-Oct-86 1012 JMC re: McDermott
C00125 00071 ∂14-Oct-86 1307 JMC re: AAAI support
C00126 00072 ∂14-Oct-86 1309 JMC re: semi-annual context talk
C00127 00073 ∂14-Oct-86 1503 JMC
C00128 00074 ∂14-Oct-86 1503 JMC re: Ershov visit
C00129 00075 ∂15-Oct-86 0136 JMC re: Prince Charles on Uses of Science
C00130 00076 ∂15-Oct-86 1206 JMC re: what is the qualification problem?
C00132 00077 ∂15-Oct-86 1414 JMC
C00133 00078 ∂15-Oct-86 1415 JMC re: what is the qualification problem?
C00134 00079 ∂15-Oct-86 1435 JMC revision
C00136 00080 ∂15-Oct-86 2203 JMC SAIL keyboard for Vladimir
C00137 00081 ∂15-Oct-86 2211 JMC
C00138 00082 ∂16-Oct-86 0017 JMC approximation by difference of square roots
C00139 00083 ∂17-Oct-86 0124 JMC lunch
C00140 00084 ∂17-Oct-86 1208 Mailer failed mail returned
C00142 00085 ∂17-Oct-86 1613 JMC
C00143 00086 ∂17-Oct-86 2239 JMC re: program
C00144 00087 ∂18-Oct-86 1134 JMC "An excessive skill at billiards is a sign of a misspent youth."
C00146 00088 ∂18-Oct-86 1258 JMC inaccurate history
C00147 00089 ∂18-Oct-86 1548 JMC re: [CERF@A.ISI.EDU: Next Digital Library Meeting]
C00149 00090 ∂18-Oct-86 1743 JMC reply to message
C00150 00091 ∂18-Oct-86 1810 JMC re: sqrt-sqrt, I'm wet.
C00151 00092 ∂20-Oct-86 1041 JMC
C00152 00093 ∂20-Oct-86 1444 JMC inclusion in proposal
C00154 00094 ∂20-Oct-86 1538 JMC Gene Golub said you might help
C00155 00095 ∂20-Oct-86 1550 JMC I have the information bulletin for the Moscow meeting.
C00156 00096 ∂20-Oct-86 1551 JMC I have the information bulletin for the Moscow meeting.
C00157 00097 ∂20-Oct-86 1608 Mailer failed mail returned
C00159 00098 ∂20-Oct-86 1731 JMC re: Gene Golub said you might help
C00160 00099 ∂20-Oct-86 1732 JMC
C00161 00100 ∂20-Oct-86 2039 JMC re: Airline REGULATORY organization?
C00162 00101 ∂21-Oct-86 0005 JMC Salamin
C00163 00102 ∂21-Oct-86 1257 JMC sorry
C00164 00103 ∂21-Oct-86 1744 JMC re: Your copy of "The New Republic".
C00165 00104 ∂22-Oct-86 0024 JMC re: inclusion in proposal
C00166 00105 ∂22-Oct-86 0026 JMC addendum
C00167 00106 ∂22-Oct-86 1027 JMC re: Qlisp reminder
C00168 00107 ∂22-Oct-86 1044 JMC re: Phony Status Symbols
C00171 00108 ∂22-Oct-86 1850 JMC Stein
C00172 00109 ∂22-Oct-86 2135 JMC car door
C00173 00110 ∂23-Oct-86 1223 JMC re: Invitation to speak
C00174 00111 ∂23-Oct-86 1837 JMC
C00175 00112 ∂24-Oct-86 0155 JMC re: Binford
C00176 00113 ∂24-Oct-86 1422 JMC re: Binford's file
C00177 00114 ∂24-Oct-86 1431 JMC re: Binford
C00178 00115 ∂24-Oct-86 1435 JMC references
C00179 00116 ∂24-Oct-86 1503 JMC
C00180 00117 ∂24-Oct-86 1526 JMC
C00181 00118 ∂24-Oct-86 1532 JMC
C00182 00119 ∂24-Oct-86 2108 JMC question
C00183 00120 ∂24-Oct-86 2135 JMC Conway problem
C00184 00121 ∂24-Oct-86 2136 JMC textbooks
C00185 00122 ∂25-Oct-86 1321 JMC re: textbooks
C00186 00123 ∂25-Oct-86 1552 JMC another bug
C00188 00124 ∂27-Oct-86 1051 JMC re: lunch this week?
C00189 00125 ∂27-Oct-86 1357 JMC re: lectures
C00190 00126 ∂27-Oct-86 1425 JMC Kobrin recommendation
C00191 00127 ∂27-Oct-86 1448 JMC
C00192 00128 ∂27-Oct-86 1508 JMC
C00193 00129 ∂27-Oct-86 1520 JMC supporting your proposal
C00195 00130 ∂27-Oct-86 1521 JMC Joshi proposal for Claudia
C00201 00131 ∂27-Oct-86 1524 JMC Workshops in AI sponsored by AAAI.
C00204 00132 ∂27-Oct-86 1852 JMC answering machine
C00205 00133 ∂27-Oct-86 1921 JMC
C00206 00134 ∂28-Oct-86 0907 JMC
C00207 00135 ∂28-Oct-86 1035 JMC re: reply to message
C00208 00136 ∂28-Oct-86 1149 JMC
C00209 00137 ∂28-Oct-86 1151 JMC re: reply to message
C00210 00138 ∂28-Oct-86 1152 JMC re: Inference Corporation
C00211 00139 ∂28-Oct-86 1156 JMC re: group picture
C00212 00140 ∂28-Oct-86 1546 JMC parent suit
C00216 00141 ∂28-Oct-86 1658 JMC re: baby
C00217 00142 ∂28-Oct-86 1659 JMC
C00218 00143 ∂29-Oct-86 0011 JMC Parent suit
C00222 00144 ∂29-Oct-86 1133 JMC re: Parent suit
C00223 00145 ∂29-Oct-86 1447 JMC re: ERROR
C00224 00146 ∂30-Oct-86 1242 JMC re: Parent suit
C00225 00147 ∂30-Oct-86 1247 JMC re: Digital Library Meeting
C00227 00148 ∂30-Oct-86 2230 JMC re: Binford Letter
C00228 00149 ∂30-Oct-86 2231 JMC Room switching
C00229 00150 ∂30-Oct-86 2237 JMC re: Interview
C00230 00151 ∂31-Oct-86 1125 JMC
C00231 00152 ∂31-Oct-86 1159 JMC Is this stupid propaganda?
C00239 00153 ∂31-Oct-86 1427 JMC lunch
C00240 00154 ∂31-Oct-86 1556 JMC re: tonight
C00241 00155 ∂31-Oct-86 1606 JMC re: Is this stupid propaganda?
C00242 00156 ∂31-Oct-86 1655 Mailer failed mail returned
C00244 00157 ∂31-Oct-86 1656 JMC Moscow meeting
C00246 00158 ∂31-Oct-86 1752 JMC re: Colors query
C00247 00159 ∂31-Oct-86 1804 JMC re: Is this stupid propaganda?
C00250 00160 ∂31-Oct-86 2150 JMC Is this stupid propaganda?
C00255 00161 ∂31-Oct-86 2228 JMC re: Disjoint triangles in the plane
C00256 00162 ∂31-Oct-86 2305 JMC re: Irrational Punch
C00259 00163 ∂01-Nov-86 0132 JMC
C00260 00164 ∂01-Nov-86 1142 JMC re: Lunch and more
C00261 00165 ∂01-Nov-86 1842 JMC re: lunch
C00262 00166 ∂01-Nov-86 2311 JMC re: Abacus arithmetic
C00263 00167 ∂02-Nov-86 1343 JMC re: What goes on at MENSA??
C00266 00168 ∂03-Nov-86 2246 JMC re: Paly International Festival
C00267 00169 ∂03-Nov-86 2247 JMC re: Paly International Festival
C00268 00170 ∂03-Nov-86 2248 JMC re: Programming Languages
C00269 00171 ∂03-Nov-86 2250 JMC reply to message
C00270 00172 ∂03-Nov-86 2252 JMC re: regrets
C00271 00173 ∂03-Nov-86 2257 JMC re: Student Support
C00273 00174 ∂03-Nov-86 2259 JMC re: Student Support
C00274 00175 ∂04-Nov-86 0048 JMC Inference expenses
C00275 00176 ∂04-Nov-86 1113 JMC re: EBOS
C00276 00177 ∂04-Nov-86 1256 JMC
C00277 00178 ∂04-Nov-86 1256 JMC more
C00278 00179 ∂04-Nov-86 1259 JMC two pieces of paper
C00279 00180 ∂04-Nov-86 1439 JMC re: Trip to Virginia
C00280 00181 ∂04-Nov-86 1441 JMC new exercises
C00281 00182 ∂04-Nov-86 1549 JMC re: Confirmation Numbers for DC trip
C00282 00183 ∂04-Nov-86 1552 JMC re: MS Program Committee Meeting
C00283 00184 ∂04-Nov-86 1803 JMC re: Paly International Festival
C00284 00185 ∂04-Nov-86 1904 JMC re: Statements...
C00285 00186 ∂04-Nov-86 2104 JMC re: game of life
C00286 00187 ∂04-Nov-86 2216 JMC Ershov
C00287 00188 ∂05-Nov-86 1105 JMC re: Ershov
C00288 00189 ∂05-Nov-86 1533 JMC
C00289 00190 ∂05-Nov-86 1552 JMC
C00290 00191 ∂06-Nov-86 0133 JMC
C00291 00192 ∂06-Nov-86 0716 JMC fredki.2
C00292 00193 ∂06-Nov-86 1110 JMC
C00293 00194 ∂06-Nov-86 1128 JMC
C00294 00195 ∂06-Nov-86 1501 JMC re: A little more on final exams
C00295 00196 ∂06-Nov-86 1703 JMC re: discussion
C00296 00197 ∂06-Nov-86 2159 JMC re: discussion
C00297 00198 ∂08-Nov-86 2153 JMC re: Frame problem workshop
C00298 00199 ∂08-Nov-86 2155 JMC re: Happy Birthday to Timothy!
C00299 00200 ∂08-Nov-86 2205 JMC re: death valley: question
C00300 00201 ∂09-Nov-86 1405 JMC
C00301 00202 ∂09-Nov-86 1701 JMC
C00302 00203 ∂09-Nov-86 1725 JMC
C00303 00204 ∂09-Nov-86 2232 JMC Alice called
C00304 00205 ∂09-Nov-86 2352 JMC hurried comments
C00309 00206 ∂10-Nov-86 1157 JMC
C00310 00207 ∂10-Nov-86 1422 JMC re: Heftler letter
C00311 00208 ∂10-Nov-86 1442 JMC job
C00312 00209 ∂10-Nov-86 2236 JMC Who is Frolov?
C00313 00210 ∂10-Nov-86 2236 JMC Who is Frolov?
C00314 00211 ∂11-Nov-86 0029 JMC re: invitation to lunch
C00315 00212 ∂11-Nov-86 1240 JMC dissent
C00320 00213 ∂11-Nov-86 1304 JMC re: job
C00321 00214 ∂11-Nov-86 1650 JMC
C00322 00215 ∂12-Nov-86 1145 JMC
C00323 00216 ∂12-Nov-86 1152 JMC
C00324 00217 ∂12-Nov-86 1301 JMC Here's a draft.
C00329 00218 ∂12-Nov-86 1435 JMC
C00330 00219 ∂13-Nov-86 1014 JMC re: Nobel Prize
C00331 00220 ∂13-Nov-86 1139 JMC
C00336 00221 ∂13-Nov-86 1521 JMC re: John Sowa - Industrial lecturer Fall quarter 87/88
C00337 00222 ∂13-Nov-86 1525 JMC re: Thanks
C00345 00223 ∂13-Nov-86 1535 JMC
C00346 00224 ∂13-Nov-86 2222 JMC
C00347 00225 ∂13-Nov-86 2239 JMC stupid propaganda
C00349 00226 ∂13-Nov-86 2359 JMC
C00350 00227 ∂14-Nov-86 1336 JMC re: update
C00351 00228 ∂14-Nov-86 1338 JMC re: Walter Rosenblith
C00352 00229 ∂14-Nov-86 1345 JMC reference
C00353 00230 ∂14-Nov-86 1347 JMC Cancel previous message. You've got the reference.
C00354 00231 ∂14-Nov-86 1518 JMC Curriculum Vitae
C00355 00232 ∂15-Nov-86 1240 JMC Saying for today
C00356 00233 ∂15-Nov-86 1441 JMC re: Interview
C00357 00234 ∂15-Nov-86 2127 JMC crash recovery
C00358 00235 ∂15-Nov-86 2136 JMC
C00359 00236 ∂15-Nov-86 2139 JMC Well, here's some trouble.
C00360 00237 ∂15-Nov-86 2150 JMC
C00361 00238 ∂16-Nov-86 1443 JMC re: tonight
C00362 00239 ∂16-Nov-86 1808 JMC re: SDI debate
C00375 00240 ∂16-Nov-86 2036 JMC
C00376 00241 ∂16-Nov-86 2222 JMC re: Solving Difficult Integrals?
C00377 00242 ∂17-Nov-86 0028 JMC
C00378 00243 ∂17-Nov-86 0028 JMC inclusion
C00379 00244 ∂17-Nov-86 0056 JMC
C00380 00245 ∂17-Nov-86 0949 JMC re: lunch this week
C00381 00246 ∂17-Nov-86 1114 JMC re: inclusion
C00382 00247 ∂17-Nov-86 1418 JMC re: expenses for Kahn
C00383 00248 ∂17-Nov-86 1437 JMC teaching
C00384 00249 ∂18-Nov-86 1300 JMC
C00391 00250 ∂18-Nov-86 1631 JMC re: Przymusinski
C00392 00251 ∂18-Nov-86 1635 JMC
C00393 00252 ∂19-Nov-86 1904 JMC re: Przymusinski
C00394 00253 ∂19-Nov-86 1905 JMC re: Seminar - Formalizing the Notion of Context (SU)
C00395 00254 ∂19-Nov-86 1906 JMC
C00396 00255 ∂19-Nov-86 1908 JMC re: TV
C00397 00256 ∂19-Nov-86 2118 JMC re: Workshop on High Levl Tools
C00398 00257 ∂19-Nov-86 2120 JMC industry lecturers and visiting faculty for 1987-88
C00399 00258 ∂20-Nov-86 1123 JMC re: industry lecturers and visiting faculty for 1987-88
C00400 00259 ∂20-Nov-86 1600 JMC re: Przymusinski
C00401 00260 ∂20-Nov-86 1904 JMC re: CSD Booklet
C00402 00261 ∂20-Nov-86 1906 JMC re: industry lecturers and visiting faculty for 1987-88
C00403 00262 ∂21-Nov-86 1328 JMC re: RT and ANDREW
C00404 00263 ∂21-Nov-86 1503 JMC reference to chronological minimization
C00405 00264 ∂21-Nov-86 1800 JMC re: Gasoline with Ethanol -- is it a good thing or a bad thing?
C00406 00265 ∂21-Nov-86 2145 JMC Lynch mob spirit
C00408 00266 ∂24-Nov-86 1517 JMC appointment
C00409 00267 ∂25-Nov-86 0736 JMC
C00410 00268 ∂25-Nov-86 0737 JMC
C00411 00269 ∂26-Nov-86 0851 JMC re: LOTS 10th Birthday Celebration
C00412 00270 ∂26-Nov-86 1232 JMC re: AI Courses
C00413 00271 ∂26-Nov-86 1258 JMC new Dahl proposal
C00414 00272 ∂26-Nov-86 1301 JMC
C00416 00273 ∂26-Nov-86 1309 JMC re: Mathilda R. Wilson Foundation
C00418 00274 ∂26-Nov-86 1317 JMC
C00421 00275 ∂26-Nov-86 1342 JMC
C00422 00276 ∂26-Nov-86 1353 JMC reply to message
C00424 00277 ∂26-Nov-86 1437 JMC Lynch mob spirit
C00427 00278 ∂26-Nov-86 2306 JMC aggry
C00428 00279 ∂28-Nov-86 1357 JMC re: Reagan Library
C00429 00280 ∂28-Nov-86 1552 JMC closest possible world
C00430 00281 ∂28-Nov-86 1607 JMC re: closest possible world
C00432 00282 ∂28-Nov-86 1628 JMC re: closest possible world
C00434 00283 ∂28-Nov-86 1631 JMC re: closest possible world
C00435 00284 ∂28-Nov-86 1811 JMC re: closest possible world
C00436 00285 ∂29-Nov-86 2043 JMC re: Thesis
C00437 00286 ∂30-Nov-86 1311 JMC re: Iran and the Contras
C00438 00287 ∂30-Nov-86 1550 JMC trouble
C00439 00288 ∂30-Nov-86 2039 JMC dial costs
C00440 00289 ∂01-Dec-86 0008 JMC re: AI DISC: DEADLINE
C00444 00290 ∂01-Dec-86 2216 JMC re: 2 thoughts about contexts
C00445 00291 ∂01-Dec-86 2315 JMC for Frank Brown
C00446 00292 ∂02-Dec-86 1032 JMC re: Qlisp meeting reminder
C00447 00293 ∂02-Dec-86 1128 JMC re: Qlisp meeting reminder
C00448 00294 ∂02-Dec-86 1130 JMC re: Qlisp meeting reminder
C00449 00295 ∂02-Dec-86 1134 JMC qlisp meeting
C00450 00296 ∂02-Dec-86 1544 JMC re: the context seminar
C00451 00297 ∂02-Dec-86 2048 JMC meeting about our proposal
C00452 00298 ∂03-Dec-86 0755 JMC re: 45 degree bank level turns
C00453 00299 ∂03-Dec-86 1258 JMC
C00454 00300 ∂03-Dec-86 1347 JMC re: "America Bashing"
C00455 00301 ∂03-Dec-86 1409 JMC
C00456 00302 ∂03-Dec-86 1416 JMC
C00457 00303 ∂03-Dec-86 1527 JMC bug appreciation
C00459 00304 ∂03-Dec-86 2143 JMC "America Bashing"
C00463 00305 ∂04-Dec-86 1120 JMC news story
C00464 00306 ∂04-Dec-86 1127 JMC
C00465 00307 ∂04-Dec-86 1129 JMC re: Przymusinski
C00466 00308 ∂04-Dec-86 1305 JMC paper
C00467 00309 ∂04-Dec-86 2336 JMC re: Island dishes
C00468 00310 ∂04-Dec-86 2339 JMC re: Speling error in last message
C00469 00311 ∂04-Dec-86 2343 JMC re: news story
C00470 00312 ∂05-Dec-86 0940 JMC re: news story
C00471 00313 ∂05-Dec-86 1121 JMC re: mcc invoice
C00472 00314 ∂05-Dec-86 1444 JMC Ellie Gray
C00473 00315 ∂05-Dec-86 1450 JMC expiration
C00474 00316 ∂05-Dec-86 1543 JMC
C00475 00317 ∂06-Dec-86 0106 JMC note to Bob McGinn at VTSS
C00476 00318 ∂06-Dec-86 2028 JMC babies
C00477 00319 ∂07-Dec-86 1810 JMC re: students and EKL
C00478 00320 ∂08-Dec-86 0237 JMC
C00479 00321 ∂08-Dec-86 1118 JMC re: 1986 Expenses
C00481 00322 ∂08-Dec-86 1330 JMC exam
C00482 00323 ∂08-Dec-86 1335 JMC exam
C00483 00324 ∂08-Dec-86 1533 JMC
C00484 00325 ∂09-Dec-86 1235 JMC Binford letter
C00485 00326 ∂09-Dec-86 1255 JMC
C00486 00327 ∂09-Dec-86 1431 JMC
C00487 00328 ∂09-Dec-86 2202 JMC Fredkin address
C00512 00329 ∂09-Dec-86 2205 JMC Fredkin address
C00513 00330 ∂09-Dec-86 2220 JMC NEXT MONDAY'S PLANLUNCH -- Richard Waldinger
C00516 00331 ∂10-Dec-86 1016 JMC re: procedural question
C00517 00332 ∂10-Dec-86 1020 JMC reply to message
C00518 00333 ∂10-Dec-86 1202 JMC Preserving information
C00522 00334 ∂10-Dec-86 1232 JMC Abstract
C00524 00335 ∂10-Dec-86 1439 JMC
C00527 00336 ∂10-Dec-86 1541 JMC re: CS 306 final
C00528 00337 ∂10-Dec-86 1652 JMC overcoming stupidity
C00536 00338 ∂10-Dec-86 1706 JMC refuting Berkeley and Marx on calculus
C00537 00339 ∂10-Dec-86 2150 JMC re: The Reagan Library and Date Rape
C00538 00340 ∂11-Dec-86 1211 JMC re: contex[f86,jmc]
C00539 00341 ∂11-Dec-86 1508 JMC problem 2
C00541 00342 ∂11-Dec-86 1549 JMC
C00542 00343 ∂11-Dec-86 1857 JMC re: leaving
C00543 00344 ∂11-Dec-86 1858 JMC re: problem 2
C00544 00345 ∂11-Dec-86 2028 JMC re: problem 2
C00545 00346 ∂12-Dec-86 0138 JMC re: Star Wars
C00547 00347 ∂12-Dec-86 0929 JMC Yu
C00548 00348 ∂12-Dec-86 1104 JMC applicant for PhD program
C00549 00349 ∂12-Dec-86 1106 JMC Exit from NATO
C00550 00350 ∂12-Dec-86 1213 JMC
C00551 00351 ∂12-Dec-86 1226 JMC cbcl reprint
C00552 00352 ∂12-Dec-86 2110 JMC re: don't want old magazines??
C00553 00353 ∂12-Dec-86 2114 JMC re: FAIR PLAY and personal attacks on bboard
C00554 00354 ∂12-Dec-86 2124 JMC mob scene on BBOARD
C00555 00355 ∂13-Dec-86 0056 JMC Star wars
C00569 00356 ∂13-Dec-86 1117 JMC re: igor
C00570 00357 ∂13-Dec-86 1453 JMC re: don't want old magazines??
C00571 00358 ∂13-Dec-86 1641 JMC same author
C00572 00359 ∂14-Dec-86 1740 JMC for Henry Lowood
C00574 00360 ∂14-Dec-86 1830 JMC regulating packet switching
C00576 00361 ∂14-Dec-86 1834 JMC re: Should Reagan resign?
C00577 00362 ∂14-Dec-86 1847 JMC re: Yet more sexism
C00580 00363 ∂15-Dec-86 1004 JMC re: telephone answering machine
C00581 00364 ∂15-Dec-86 1006 JMC re: AI Courses
C00582 00365 ∂15-Dec-86 1006 JMC re: AI Courses
C00583 00366 ∂15-Dec-86 1426 JMC re: AI Planning Retreat
C00584 00367 ∂15-Dec-86 1429 JMC re: couple of things
C00585 00368 ∂15-Dec-86 1429 JMC re: Taleen
C00586 00369 ∂15-Dec-86 1431 JMC re: CS326
C00587 00370 ∂15-Dec-86 1519 JMC Munindar Paul Singh
C00588 00371 ∂15-Dec-86 1535 JMC
C00589 00372 ∂15-Dec-86 1627 JMC
C00590 00373 ∂15-Dec-86 1801 JMC Stoyan paper
C00591 00374 ∂15-Dec-86 1802 JMC Space Station Automation Workshop
C00592 00375 ∂15-Dec-86 2245 JMC Cunningham criticism
C00597 00376 ∂16-Dec-86 0931 JMC re: Space Station Automation Workshop
C00598 00377 ∂16-Dec-86 0941 JMC re: Decommissioning reactors
C00600 00378 ∂16-Dec-86 1009 JMC re: tel. ansering machine
C00601 00379 ∂16-Dec-86 1121 JMC re: Decommissioning reactors
C00603 00380 ∂16-Dec-86 1129 JMC Gray Tuesday
C00604 00381 ∂16-Dec-86 1515 JMC re: Dr. Flaherty
C00605 00382 ∂16-Dec-86 1617 JMC
C00606 00383 ∂16-Dec-86 1801 JMC answering machine
C00607 00384 ∂16-Dec-86 1824 JMC re: dial costs
C00608 00385 ∂16-Dec-86 2319 JMC
C00609 00386 ∂17-Dec-86 0045 JMC re: NATO bucks
C00611 00387 ∂17-Dec-86 0103 JMC re: Nuclear Power
C00615 00388 ∂17-Dec-86 1517 JMC re: approximate theories and naming
C00616 00389 ∂17-Dec-86 1614 JMC Lisp Journal announcement
C00617 00390 ∂17-Dec-86 2143 JMC re: I don't know about you guys
C00619 00391 ∂18-Dec-86 1002 JMC reply to message
C00620 00392 ∂18-Dec-86 1004 JMC re: Hotel in Chicago
C00621 00393 ∂18-Dec-86 1609 JMC
C00622 00394 ∂18-Dec-86 1807 JMC re: Computer Museum AI Exhibit
C00623 00395 ∂18-Dec-86 2259 JMC re: commonsense reasoning
C00624 00396 ∂19-Dec-86 0002 JMC animal rights
C00625 00397 ∂19-Dec-86 1452 JMC re: finals and grade sheet
C00626 00398 ∂19-Dec-86 1453 JMC re: meeting with Gibbon
C00627 ENDMK
C⊗;
∂01-Oct-86 1644 JMC Fall class handouts
To: hsu@SUSHI.STANFORD.EDU, amehta@SUSHI.STANFORD.EDU
∂30-Sep-86 1254 SITN@Sushi.Stanford.EDU Fall class handouts
Received: from SUSHI.STANFORD.EDU by SAIL.STANFORD.EDU with TCP; 30 Sep 86 12:54:13 PDT
Date: Tue 30 Sep 86 12:52:54-PDT
From: SITN Networking <SITN@Sushi.Stanford.EDU>
Subject: Fall class handouts
To: JMC@Sail.Stanford.EDU
cc: RA@Sail.Stanford.EDU
Message-ID: <12243128393.27.SITN@Sushi.Stanford.EDU>
From: Judith Lemon, David Francis, Sol Lederman
Re: Electronic Delivery of class handouts
Dear Sir:
As you know, the Stanford Instructional Television Network is
currently exploring and implementing new ways for quicker handout
delivery to television students. The system is initially designed to
operate in parallel with the existing courier system. Your willingness
to cooperate with the electronic system is greatly appreciated. We wish
to make the transfer of handout files as easy as possible for you.
Currently we see two methods of file transfer.
1. You send handout source files to the SITN account
(SITN@Sushi) via electronic mail.
2. You provide access to handout source files and SITN
retrieves them via some file transfer program.
We hope to set up a file transfer schedule which will help to simplify
and smooth the process of handout file transfer. I would like to
schedule a meeting with you to discuss the details of your
participation in the electronic system. Secretaries, teaching
assistants, and any other people involved in the handout creation
process are encouraged to attend. If meeting isn't convenient for
you or others, other arrangements (e.g. telephone, electronic mail)
can be made.
Sol Lederman and I are the coordinators of the electronic handout
delivery project. Sol is responsible for company coordination and I am
responsible for the coordination of the Stanford participants. Feel
free to contact Sol or I at (415) 723-3618 or via electronic mail at
SITN@Sushi if you have any questions.
Thank you for your time and consideration.
Sincerely,
David Francis
-------
∂02-Oct-86 1049 JMC re: ofind command
To: RA
[In reply to message rcvd 02-Oct-86 10:42-PT.]
Put the following line in your option.txt.
find:in phon[1,ra]
∂02-Oct-86 1110 JMC
To: VAL
Please say which days you will be out for Jewish holidays.
∂02-Oct-86 1235 JMC re: Symbolic Systems Faculty Roster
To: EVE@CSLI.STANFORD.EDU
[In reply to message sent Thu 2 Oct 86 12:32:39-PDT.]
All ok.
∂02-Oct-86 1453 JMC re: cryptograms with multiple decodings
To: SJG
[In reply to message rcvd 02-Oct-86 14:46-PT.]
Yes, please.
∂02-Oct-86 1457 JMC
To: VAL, CLT, LES
Let's meet tomorrow, Friday the 3rd at 2pm about DARPA proposal.
∂02-Oct-86 1606 JMC re: ofind command
To: RA
[In reply to message rcvd 02-Oct-86 16:05-PT.]
I don't know how to do that. You might ask Joe Weening.
∂02-Oct-86 2326 JMC
To: CLT
Please be careful to raise the side of the crib.
∂03-Oct-86 1040 JMC re: Forwarding: The ELEPHANT Language
To: rwsh%computer-lab.cambridge.ac.uk@CS.UCL.AC.UK
[In reply to message sent Fri, 3 Oct 86 10:28:20 BST.]
Your message got through. There is no published paper, but I have a draft
I will send you.
∂03-Oct-86 1042 JMC Paper to send
To: RA
Please send him the Elephant paper. You may need my help in finding it.
Roger Hale
Computer Laboratory
University of Cambridge
Corn Exchange Street
Cambridge CB2 3QG
ENGLAND
∂03-Oct-86 1045 JMC re: cryptogram
To: SJG
[In reply to message rcvd 03-Oct-86 09:50-PT.]
I'd like to see what Haugeland makes of the example.
∂03-Oct-86 1129 JMC hours
To: RA
CC: ZM
Please summarize your present and proposed hours in a message to Zohar
and me.
∂03-Oct-86 1203 JMC re: Eric Drexler
To: RWF
[In reply to message rcvd 03-Oct-86 11:52-PT.]
I'll be glad to be Drexler's principal contact. I have a dentist appointment
on that day at 11 and can't guarantee to be back in time for an early lunch,
and I teach at 1:15. Let me call him and see what his ideas are about
whom he would like to see. Since he lives in the area, a days's entertainment
is not de rigeur.
∂03-Oct-86 1204 JMC re: new schedule
To: RA, ZM
[In reply to message from RA rcvd 03-Oct-86 11:59-PT.]
This is ok with me if it suits Zohar.
∂03-Oct-86 1418 Mailer failed mail returned
To: JMC
In processing the following command:
MAIL elliott@slacvm
The command was aborted because these Host Name(s) are Unknown:
slacvm
------- Begin undelivered message: -------
∂03-Oct-86 1418 JMC
10-17 12:05, fri, Elliott lunch
------- End undelivered message -------
∂03-Oct-86 1421 JMC
To: sitn@SUSHI.STANFORD.EDU
\magnification=\magstephalf
\def\mystrut{\vrule height8truept depth2truept width0pt}
\nopagenumbers
\parskip=6truept
\centerline{\bf CS 306: Recursive Programming and Proving}
\vskip 4truept
\tabskip=2truept
\halign{
#\hfil&%
#\hfil&%
#\hfil%
\cr
{\bf Professor:}&John McCarthy\cr%
{\bf Office:}&MJH, room 356\cr%
{\bf Office Phone:}&723-4430\cr%
{\bf Location:}&ERL 320\cr%
\mystrut\hfil\cr%
{\bf TA's:}\cr
&Abhay Mehta&Yung-Jen Hsu\cr
&AMEHTA@SUSHI&HSU@SUSHI\cr
&MJH 458&MJH 450\cr
&&723 3088\cr
\mystrut\hfil\cr%
{\bf Text Books:}&{\bf The Common Lisp Manual, Steele.}\cr
&Available in the bookstore.\cr
&{\bf Lisp Programming and Proving,}\cr
&John McCarthy and Carolyn Talcott\cr
&{\bf EKL-An Interactive Proof Checker-}\cr
&{\bf User's Reference Manual,}\cr
&Jussi Ketonen and Joesph S. Weening\cr
&Available from Rutie Adler in MJH 358.\cr
&Price: \$9.50\cr
\mystrut\hfil\cr%
} %
\leftskip 2truecm{
\item{{\bf Course Trivia:}} The course includes an in-class midterm,
scheduled temporarily for
Nov. 6th, and a final, not yet certain whether take-home or in-class.
Homework sets will be on programming, proving, and mechanical program
proving. For necessary computer work, we will be using the LOTS Computer Facility,
located in Sweet Hall\footnote*{Sweet Hall will open in two day; meanwhile, use the
terminals at Tresidder} and Tresidder Union (old bowling alley).
There are dial-up lines available, all of which can function with either 300 or
1200 baud. Their numbers are:
\itemitem{}323-7631 (ten ports)
\itemitem{}322-5771 (ten ports)
\itemitem{}723-8643 (ten ports)
\itemitem{}723-8653 (ten ports)
\item{}Students without accounts should proceed to Sweet Hall,
connect to
OTHELLO, and type OPEN to the prompt. All students should be sure that
they are on the computer class list by running the {\bf update} program.
Allocation for this class will be six hours a week.
{\bf First problem assignments:}
\item{}Write and debug Lisp functions using LOTS according to the problems given
on page 52 et seq. of the notes.
Due Thursday, October 9, problems 1,3,4,5,9,10,11,13
Due Thursday October 23, problems 17,19,25 26,27,28,43
\vskip 6pt
\centerline{\it Good luck}
\bye
∂03-Oct-86 1424 JMC
To: sitn@SUSHI.STANFORD.EDU
∂01-Oct-86 1641 RA new phone
My new telephone number is 723 6321.
∂03-Oct-86 1436 JMC re: would you mind?
To: RA
[In reply to message rcvd 03-Oct-86 14:34-PT.]
Could you send off the Elephant paper first.
∂03-Oct-86 1505 JMC
To: LES
8p Call Arkady.
∂03-Oct-86 1510 JMC
To: AIR
CC: LES
Talk to Les about salary offer.
∂03-Oct-86 1554 JMC John Cocke
To: ALS
He had a heart attack but is better now. If you feel like calling him,
he's in Westchester for a while, home phone 914 234-9298. He'll be
going back to Austin in a week or so.
∂03-Oct-86 1751 JMC Quote out of context
To: su-etc@SAIL.STANFORD.EDU
Five liberalism points to Jeff Mogul.
I was the author of the letter in question. When I wrote it I was fully
aware that it would probably draw liberal flack, and that some people would
pretend to draw the conclusion I intended the proposed fellowships
to be awarded only to men. I am rather certain that Jeff Mogul knows
better and is only doing what he imagines to be his duty as a liberal
- to police the language. The truth of the statement, "Historically,
conceptual scientific breakthroughs have most often come from well prepared
strongly motivated young men free to follow their own ideas", is
usually irrelevant to the linguistic policemen. (The word "policmen"
is, of course, used generically to include women).
It was indeed Rosalind Franklin whose x-ray crystallography work Watson
and Crick used; as I recall, they gave proper credit. What exactly is
meant by "unwittingly" I don't know. Whether she should have shared their
Nobel award is unfortunately moot, because by the time the Nobel committee
got around to considering an award she had died, and there is a
long-standing Nobel Prize policy of never giving posthumous awards.
Returning to the subject, I should confess that my reason for the
contentious wording was irritation at some example that I can no
longer remember of linguistic policing.
The proposal was for a program of post-doctoral fellowships in AI
awarded primarily to new PhDs with the idea that a few years (say 5)
devoted entirely to thinking about AI without other duties might
make the conceptual breakthroughs AI needs more probable. Some
people have supported the proposal, but the reaction of Kent Curtis,
the Director of NSF's Office of Computing Activities was interesting.
He wrote me that they would consider the idea in making up
their budget proposals for next year, but they had tried similar
programs in the past without good result. The problem was that
they got too few qualified applicants. Apparently the most
qualified people preferred to take academic jobs immediately,
accepting the non-research aspects of these jobs in order to get
promptly on the tenure track. Perhaps a fellowship program will
get more takers, and conceptual breakthroughs will become more
likely, when tenure track academic jobs for new PhDs become
more scarce.
∂03-Oct-86 1756 JMC Einstein
To: su-etc@SAIL.STANFORD.EDU
In my opinion, no part of computer science has been revolutionized by
anybody to anything like the extent that Einstein revolutionized the
physics of his time. No-one has ever convinced the computer science
public to completely revise their ideas about the fundamentals of
the subject. To challenge this, someone has to name the alleged
revolutionary idea and document its effect on the whole of computer
science.
∂03-Oct-86 1800 JMC contemptible even handedness
To: su-etc@SAIL.STANFORD.EDU
In today's editorial, the Stanford Daily refers to "the controversy
over the downing of KAL-007".
∂03-Oct-86 2047 JMC re: two things two times
To: shoham@YALE.ARPA
[In reply to message sent 3 Oct 86 22:49:09 EDT.]
I received two copies of your "two things " message within ten seconds
of each other. I'll respond to the substance of your message soon.
∂03-Oct-86 2052 JMC re: two things
To: shoham@YALE.ARPA
[In reply to message sent 3 Oct 86 22:49:09 EDT.]
I'll be glad to receive your further drafts. How far I'll get with them
depends on the usual variety of factors. I'll also pass them on.
As to the workshop, I wouldn't try to change its location; people in less
well-known places have enough troubles without people on the coasts trying
to get out of even visiting them when they organize a worthwhile event. I
think your participation would be a plus for the Workshop, so I'll
probably mention that.
∂03-Oct-86 2058 JMC postponement
To: 1F1BROWN%UKANVAX.BITNET@WISCVM.WISC.EDU
CC: shoham@YALE.ARPA
Yoav Shoham asked me to suggest that you postpone your workshop a few weeks.
I think he would be a worthwhile participant. I'd also like to come, and
I'd have problems with early March, although late March or early April
would give me no problems.
∂04-Oct-86 1033 JMC Neiman-Marcus
To: CLT
Joan Fishel of N-M says they got the stuff to send to your mother
and are sending it and charging it to our account.
∂04-Oct-86 1445 JMC American Spectator
To: su-etc@SAIL.STANFORD.EDU
The current issue in the lounge has three interesting items: a symposium
by a variety of conservatives on what the Reagan Administration should do
with its last two years, an enthusiastic preview of the Rehnquist court,
and an account of the revival of anti-semitism in a sorority at USC.
Warning: the magazine is conservative in its views.
∂04-Oct-86 2217 JMC re: Tenure track
To: brink@SUSHI.STANFORD.EDU
[In reply to message sent Sat 4 Oct 86 19:25:34-PDT.]
My 15 minute reaction is that this is one of the things very difficult
to organize systematically, because it depends so much on who thinks
who else has what talent. At the new PhD level, there is greater
homogeneity of criteria.
∂04-Oct-86 2220 JMC re: picture request
To: Restivo@SCORE.STANFORD.EDU
[In reply to message sent Sat 4 Oct 86 17:49:24-PDT.]
These pictures are presumably available from
Caddes, Carolyn (photographer) (415) 321 2616,
since I think they're from the review of her "Portraits of Success".
∂05-Oct-86 1023 Mailer failed mail returned
To: JMC
In processing the following command:
MAIL
The command was aborted because these Host Name(s) are Unknown:
RUSSIAN.SPA.Symbolics.COM
------- Begin undelivered message: -------
∂05-Oct-86 1023 JMC re: Knotted Doughnuts
[In reply to message sent Sun, 5 Oct 86 04:48 PDT.]
Happy Columbus Day in case I don't see you before then. I don't remember
ever having considered or discussed l/d in any context.
------- End undelivered message -------
∂05-Oct-86 1816 JMC
To: ME
Any suggestion?
∂05-Oct-86 1023 Mailer failed mail returned
To: JMC
In processing the following command:
MAIL
The command was aborted because these Host Name(s) are Unknown:
RUSSIAN.SPA.Symbolics.COM
------- Begin undelivered message: -------
∂05-Oct-86 1023 JMC re: Knotted Doughnuts
[In reply to message sent Sun, 5 Oct 86 04:48 PDT.]
Happy Columbus Day in case I don't see you before then. I don't remember
ever having considered or discussed l/d in any context.
------- End undelivered message -------
∂05-Oct-86 1835 JMC reply
To: rwg%RUSSIAN.SPA.Symbolics.COM@SCRC-YUKON.ARPA
Happy Columbus Day in case I don't see you before then. I don't remember
ever having considered or discussed l/d in any context.
∂05-Oct-86 1838 JMC re: Classes using LOTS
To: R.Reuling@HAMLET.STANFORD.EDU
[In reply to message sent Sun 5 Oct 86 14:57:58-PDT.]
I suppose my class is registered - CS306.
∂06-Oct-86 1309 JMC Einstein, etc.
To: su-etc@SAIL.STANFORD.EDU
1. My own conjecture is that an Einstein-like fundamental conceptual advance
is required to reach human-level AI and that such an advance is unlikely
to be composed of a lot of micro-advances.
2. The lead editorial in today's NYT about negotiating with the Soviets is
interesting in its dialog form and open mindedness. Usually, editorial
writers know exactly what the Government must do to avert disaster.
∂06-Oct-86 1544 JMC re: Machines for CS306
To: REGES@SCORE.STANFORD.EDU
[In reply to message sent Mon 6 Oct 86 15:28:03-PDT.]
How are the machines used? Do the students sign up for time on the
machines? How does one get the same software, e.g. EKL, on all the
machines? Unless LOTS is heavily loaded, which it shouldn't be this
Fall, I'm reasonably satisfied with it.
∂06-Oct-86 1727 JMC CS306
To: amehta@SUSHI.STANFORD.EDU
Please make this happen.
∂06-Oct-86 1653 PANDREW@Score.Stanford.EDU CS306
Received: from SCORE.STANFORD.EDU by SAIL.STANFORD.EDU with TCP; 6 Oct 86 16:53:50 PDT
Date: Mon 6 Oct 86 16:52:32-PDT
From: Phil Andrew <PAndrew@Score.Stanford.EDU>
Subject: CS306
To: mccarthy@Score.Stanford.EDU
cc: fl@Othello.Stanford.EDU
Message-ID: <12244744881.24.PANDREW@Score.Stanford.EDU>
Prof. McCarthy --
We've been getting many complaints from students wanting to sign up for
CS306 to receive allocation on LOTS. In order for us to register the class,
we need to receive a Class Registration form from you, giving us the details
for the class, such as name, title, who the contact is, number of hours
of console allocation requested, TAs and instructors.
If you need any assistance, you can contact either myself or John Reuling
for more details.
Thank you.
Philip Andrew
LOTS Faculty Liaison
-------
∂06-Oct-86 2032 JMC re: Meeting next Monday
To: PHYSICSLIB@SIERRA.STANFORD.EDU, John@SIERRA.STANFORD.EDU
CC: cn.arc@FORSYTHE.STANFORD.EDU
[In reply to message from PHYSICSLIB@Sierra.Stanford.EDU sent Mon 6 Oct 86 20:13:14-PDT.]
3:15 will be fine.
∂06-Oct-86 2242 JMC re: Paly International Festival
To: cramer@Sun.COM
[In reply to message sent Mon, 6 Oct 86 22:24:10 PDT.]
I would be glad to help, but I haven't heard of any of the people
you mention. I read the Stanford Daily somewhat irregularly, however.
I'll try to think of a more constant reader who might be inclined to
help. I haven't heard of the Daily being on-line anywhere.
Prof. Elliott Bloom at SLAC lives in what would be the Paly High
district, and I think he has children of high school age. The
Stanford Campus housing around here is in the Gunn High School
district.
∂07-Oct-86 1042 JMC re: Appearance in class
To: AMEHTA@SUSHI.STANFORD.EDU
[In reply to message sent Tue 7 Oct 86 10:40:01-PDT.]
Thanks. See you there.
∂07-Oct-86 1130 JMC
To: CLT
Let's go see the movie Crocodile Dundee.
∂07-Oct-86 1257 JMC error
To: udi@SCORE.STANFORD.EDU
The alleged or-gate on page 24 is a nor-gate.
∂07-Oct-86 1444 JMC
To: RA
The Shankar short (yellow) form data is in shanka[f86,jmc].
∂07-Oct-86 1504 JMC re: aircraft compass turn/accel error explanation
To: su-etc@SAIL.STANFORD.EDU
[In reply to message sent Tue 7 Oct 86 13:01:19-PDT.]
It should be mentioned for the benefit of non-pilots that all these
errors are avoided in practice by using the directional gyro
instrument which is not subject to these acceleration and turning
errors. It, however, drifts and so has to be set from the magnetic
compass every so often. It is important to do this while the
airplane is flying straight and level at constant speed.
∂07-Oct-86 1813 JMC re: Good news in Marla Hanson case
To: SINGH@SIERRA.STANFORD.EDU
[In reply to message sent Tue 7 Oct 86 17:52:09-PDT.]
It is good to remind people about the victims of crime. Dan Rather
was beaten by two men who repeatedly asked him, "Kenneth, what is the
frequency" about which he claims to know nothing. Therefore, it
is perhaps a case of mistaken identity. No doubt his office has
received hundreds of calls purporting to be from Kenneth and telling
him what the frequency is. He didn't miss any broadcasts. The stories
are in the SAIL NS database.
∂07-Oct-86 2302 JMC
To: RA
What is the state of the corrections to my Generality paper?
∂08-Oct-86 0012 JMC RAship
To: CLT
I plan to discuss it with Vladimir, but I think we'll let the Department support
Fernando this year. You may find his interests interesting.
∂07-Oct-86 2342 FERNANDO@Sushi.Stanford.EDU RAship
Received: from SUSHI.STANFORD.EDU by SAIL.STANFORD.EDU with TCP; 7 Oct 86 23:42:24 PDT
Date: Tue 7 Oct 86 23:41:00-PDT
From: Tim Fernando <FERNANDO@Sushi.Stanford.EDU>
Subject: RAship
To: jmc@Sail.Stanford.EDU, val@Sail.Stanford.EDU
cc: fernando@Sushi.Stanford.EDU
Message-ID: <12245081383.25.FERNANDO@Sushi.Stanford.EDU>
I have been giving your RAship offer a lot of thought, and this has
in turn led me to think about what, in a large sense, my interests
are and how they might fit in with the group's.
I am very much interested in understanding recursion, self-reference,
induction and self-application, in the context of a 'unified'
-- I apologize for using that term, but I can't think of a better
word -- mathematical theory of computation and deduction. I suspect
that the role self-reference/reflection play in deduction is analogous to that
played by recursion in computation. (In this regard, I find the research
of people like Craig Smorynski and Brian Smith intriguing. ) I would like
to study induction and in particular what people like Dana Scott, Solomon
Feferman and Yiannis Moschovakis have to say about it. Furthermore, I am quite
curious about how recursion/self-reference might look in a theory of non-well-
founded sets -- the sort of work Barwise, Aczel, etc. have been up to. And, of
course, I am interested in McCarhty's own ideas about a mathematical theory of
computation.
With regard to non-monotonic logic, I am interested in it not so much
as an attack on the problem of common sense reasoning (which I personally feel
quite uncomfortable studying) but as a form of non-monotonic induction, in
which there is (perhaps?) a measure of self-reference.
Having said all this, I must confess that I do not think that I can make much
progress in research this year, as I will have to devote most of my time to
the comps (because of my very weak background in the areas of systems
and applications). The idea of actually thinking about a research problem
in circumscription is very appealing, but I cannot promise to spend a lot
of time in it, as I would also like to pursue the other interests I mentioned
above -- in particular, Barwise's work on non-well-founded sets. As far
as funding, I have been told that the department will fund first year
PhD students who are not supported by the research groups they become
associated with. It is not clear to me what you expect from an RA, so
if what I have written above has not completely turned you off and if you
are still willing to support me, please let me know more or less how many
hours a week you would require from me.
-Tim
-------
∂08-Oct-86 0014 JMC re: RAship
To: FERNANDO@SUSHI.STANFORD.EDU
[In reply to message sent Tue 7 Oct 86 23:41:00-PDT.]
Vladimir is away till Thursday, and he and I will discuss it then.
∂08-Oct-86 0908 JMC re: [Reply to message recvd: 07 Oct 86 23:02 Pacific Time]
To: RA
[In reply to message rcvd 08-Oct-86 08:47-PT.]
I'll have to look at it.
∂08-Oct-86 1348 JMC re: Student Advising Hours
To: porter%wldwst.DEC@DECWRL.DEC.COM
[In reply to message sent Wed, 8 Oct 86 10:46:20 PDT.]
If you're here a lot just come by. Otherwise, phone me in the afternoon
at 723-4430 to make an appointment. Late afternoon works best, but I'll
be away Friday.
∂08-Oct-86 1350 JMC re: so long sucker?
To: SJG
[In reply to message rcvd 08-Oct-86 12:24-PT.]
I teach from 1:15 to 2:30 Tuesday and Thursday. Some other time.
∂08-Oct-86 2102 JMC re: CS306
To: brink@SUSHI.STANFORD.EDU
[In reply to message sent Wed 8 Oct 86 19:44:11-PDT.]
Sorry to lose you. I think I miscalculated on the due date of the homework.
The class must have started earlier last year.
∂09-Oct-86 1150 JMC McDermott
To: VAL
I left some printouts on your keyboard. Let's discuss them and
our general plan. My opinion is that arguing with McDermott is
of limited and temporary value, because they necessarily make
more of the present formal situation than is warranted in the
long run.
I another problem to discuss. A bug in a logic program in
the new book by Sterling and Shapiro suggests that logic programming
needs some additional kinds of non-monotonic reasoning.
∂09-Oct-86 2016 JMC Grade for CS206/306
To: RA
Please make this happen.
∂09-Oct-86 1602 THEODOROU@Sushi.Stanford.EDU Grade for CS206/306
Received: from SUSHI.STANFORD.EDU by SAIL.STANFORD.EDU with TCP; 9 Oct 86 16:02:48 PDT
Date: Thu 9 Oct 86 16:00:30-PDT
From: Dimitris Theodorou <THEODOROU@Sushi.Stanford.EDU>
Subject: Grade for CS206/306
To: jmc@Sail.Stanford.EDU
Message-ID: <12245521840.41.THEODOROU@Sushi.Stanford.EDU>
I took CS206 from you Fall '84-'85 and then went for a leave of absence
during '85-'86. My transcript still shows a '*' as my grade for that
class. I believe that my grade came out to be a B+. Could you please
submit a grade change for me because I will be graduating this June.
My student number is 3253730.
Thank you,
Dimitris Theodorou
-------
∂09-Oct-86 2017 JMC re: Grade for CS206/306
To: THEODOROU@SUSHI.STANFORD.EDU
[In reply to message sent Thu 9 Oct 86 16:00:30-PDT.]
It will be done.
∂10-Oct-86 0009 JMC driving test
To: su-etc@SAIL.STANFORD.EDU
I suggest the following experiment to Andy. Arrange to take the
driving test again. While taking it, let him reach down for a cassette
and let the car approach the edge of the road. If he still passes
the test, I'll join his crusade.
∂10-Oct-86 2037 JMC re: CS306 tutors
To: RA
[In reply to message rcvd 10-Oct-86 12:13-PT.]
Tell Gilbertson that both tutors are ok.
∂11-Oct-86 0956 JMC my psych-oriented ... friends have convinced me
To: su-etc@SAIL.STANFORD.EDU
This is a classical introduction to a faddist idea.
∂12-Oct-86 1959 JMC re: Quote out of context
To: MULLER@SUSHI.STANFORD.EDU, treitel@SUSHI.STANFORD.EDU,
su-etc@SAIL.STANFORD.EDU
[In reply to message sent Sun 12 Oct 86 19:25:00-PDT.]
I apologize for writing flack for flak. My 1939 Cassell's dictionary lists
Fliegerabwehr(kanone) as the translation of anti-aircraft
but lists Flak in its list of German abbreviations as the abbreviation
of Flugzeug-Abwehr-Kanone translated as anti-aircraft gun.
∂12-Oct-86 2315 JMC
To: RA
Please find out how to pay 60 Kronor to a Swedish account.
∂13-Oct-86 1428 JMC LOTS allocation for EKL
To: b.belgium@HAMLET.STANFORD.EDU
We really do need 1000 pages in order to use EKL in CS306.
∂13-Oct-86 1434 JMC more information about cs306 requirement
To: b.belgium@HAMLET.STANFORD.EDU
CC: GLB@SAIL.STANFORD.EDU
EKL is an interactive theorem prover used by students in cs306 to prove
that programs meet their specifications. It has been used on LOTS for
the last several years. Gian Luigi Bellin has put it on LOTS for the
last two years and knows the operational details. Once students start
using the program they will have their own copies of the general LISP axioms
plus any axioms and proofs they may introduce. It worked on LOTS ok in
the past.
∂13-Oct-86 1808 JMC grade for Arthur Lee
To: modica@SCORE.STANFORD.EDU
CC: alee@SUSHI.STANFORD.EDU, RA@SAIL.STANFORD.EDU
The grade for him (student number 3522770) is B+ replacing his incomplete
in CS393. He can pick up his report from Rutie.
∂14-Oct-86 0754 JMC re: Emycin Criticism
To: Petrie@MCC.COM
[In reply to message sent Tue 14 Oct 86 09:15:35-CDT.]
Perhaps you have some criticism of mine mixed with someone else's.
I criticized MYCIN, not EMYCIN and did not make the specific criticism
about behaving normally during a fire. One of my criticisms, expressed
in the paper referenced below is that MYCIN has no concept of events
occurring in time.
{\bf McCarthy, John (1983)}: ``Some Expert Systems Need Common Sense'',
in {\it Computer Culture: The Scientific, Intellectual and Social Impact
of the Computer}, Heinz Pagels, ed.
vol. 426, Annals of the New York Academy of Sciences.
%paper
%presented at New York Academy of Sciences Symposium.
% common[e83,jmc]
∂14-Oct-86 1010 JMC Math/CS": Socrates display
To: RA
Please make two copies of this, one for
∂14-Oct-86 0800 EC.MA1@Forsythe.Stanford.Edu Math/CS": Socrates display
Received: from LINDY.STANFORD.EDU by SAIL.STANFORD.EDU with TCP; 14 Oct 86 07:59:58 PDT
Received: by lindy.stanford.edu with Sendmail; Fri, 14 Oct 83 07:59:57 pdt
Date: Tue, 14 Oct 86 08:00:05 PDT
From: Socrate <EC.MA1@Forsythe.Stanford.Edu>
To: JMC@SAIL.STANFORD.EDU
Subject: Math/CS": Socrates display
*
Technical Reports / Search: Find AUTHOR MCCARTHY, J and TITLE MANIFOLDS
Result: 2 citations
Citation 1
AUTHOR: Stanford University. Applied Mathematics and Statistics Laboratory.
(STANAMSL) 36.
TITLE: The stability of invariant manifolds.
February 21, 1955. 25p.
LOCATION: Math & Comp Sci (205036)
SERIES: Technical report.
OTHER: United States. Office of Naval Research. (ONR)
McCarthy, J.
NUMBER: 36. (Report Number)
Nonr-225(11) (NR-041-086). (Contract/Grant Number)
NOTES: Item TECM-27075 (Technical Repts) Language: eng
Citation 2
AUTHOR: Stanford University. Applied Mathematics and Statistics Laboratories.
T.R. 36.
TITLE: THE STABILITY OF INVARIANT MANIFOLDS.
1955.
LOCATION: 000491: Math & Comp Sci
OTHER: McCarthy, J.
NUMBER: T.R. 36. (Report Number)
NOTES: Item TECM-14287 (Technical Repts) Language: unk
∂14-Oct-86 1011 JMC copies of report
To: RA
Please make two copies of this report, one for my library and one for the
Pole who requested it.
∂14-Oct-86 0800 EC.MA1@Forsythe.Stanford.Edu Math/CS": Socrates display
Received: from LINDY.STANFORD.EDU by SAIL.STANFORD.EDU with TCP; 14 Oct 86 07:59:58 PDT
Received: by lindy.stanford.edu with Sendmail; Fri, 14 Oct 83 07:59:57 pdt
Date: Tue, 14 Oct 86 08:00:05 PDT
From: Socrate <EC.MA1@Forsythe.Stanford.Edu>
To: JMC@SAIL.STANFORD.EDU
Subject: Math/CS": Socrates display
*
Technical Reports / Search: Find AUTHOR MCCARTHY, J and TITLE MANIFOLDS
Result: 2 citations
Citation 1
AUTHOR: Stanford University. Applied Mathematics and Statistics Laboratory.
(STANAMSL) 36.
TITLE: The stability of invariant manifolds.
February 21, 1955. 25p.
LOCATION: Math & Comp Sci (205036)
SERIES: Technical report.
OTHER: United States. Office of Naval Research. (ONR)
McCarthy, J.
NUMBER: 36. (Report Number)
Nonr-225(11) (NR-041-086). (Contract/Grant Number)
NOTES: Item TECM-27075 (Technical Repts) Language: eng
Citation 2
AUTHOR: Stanford University. Applied Mathematics and Statistics Laboratories.
T.R. 36.
TITLE: THE STABILITY OF INVARIANT MANIFOLDS.
1955.
LOCATION: 000491: Math & Comp Sci
OTHER: McCarthy, J.
NUMBER: T.R. 36. (Report Number)
NOTES: Item TECM-14287 (Technical Repts) Language: unk
∂14-Oct-86 1012 JMC re: McDermott
To: VAL
[In reply to message rcvd 14-Oct-86 09:07-PT.]
I'll be in 11 or 11:15. Then if convenient.
∂14-Oct-86 1307 JMC re: AAAI support
To: gref@NRL-AIC.ARPA
CC: aaai-office@SUMEX-AIM.STANFORD.EDU
[In reply to message sent Tue, 14 Oct 86 15:03:40 edt.]
OK, the AAAI will support
the 2nd International
Conference on Genetic Algorithms and Their Applications to the
amount of $2,000 to subsidize student registrations. Please
contact Claudia Mazzetti at the AAAI office to arrange matters.
∂14-Oct-86 1309 JMC re: semi-annual context talk
To: VAL
[In reply to message rcvd 14-Oct-86 12:20-PT.]
Oct 30 will be fine.
∂14-Oct-86 1503 JMC
To: CLT
∂14-Oct-86 1451 DEK Ershov visit
He (and his doctor!) will be staying at my house Nov 4 to 11.
∂14-Oct-86 1503 JMC re: Ershov visit
To: DEK
[In reply to message rcvd 14-Oct-86 14:51-PT.]
I look forward to seeing him.
∂15-Oct-86 0136 JMC re: Prince Charles on Uses of Science
To: SINGH@SIERRA.STANFORD.EDU, su-etc@SAIL.STANFORD.EDU
[In reply to message sent Tue 14 Oct 86 23:25:49-PDT.]
Fortunately for the British, it doesn't much matter which string of
cliches their future king utters. The part about imbalance between
intellect and spirit usually is a preface to a something that means,
"Don't bother me with facts; I know who the good guys are".
∂15-Oct-86 1206 JMC re: what is the qualification problem?
To: SJG
[In reply to message rcvd 14-Oct-86 09:17-PT.]
Maybe none of the above but maybe more the second. Neither really corresponds
to how I was thinking about it. As I thought about it, the qualification
problem is how to write the axioms for the results of actions and events
without putting in all possible qualifications but writing them in such
a way that they could come in later. I presume your mother embodies a
reasonable solution to the problem, because while a potato in the tail pipe
is nothing she has heard of (unless she saw, for example, Beverley Hills
Cop) and nothing she would mention when asked for possible reasons why
a car wouldn't start, if the possibility of a potato in the tailpipe
were mentioned to her, she would have no trouble in incorporating it
in her knowledge of why cars sometimes don't start.
Who gets the nickel?
∂15-Oct-86 1414 JMC
To: RA
challe.1
∂15-Oct-86 1415 JMC re: what is the qualification problem?
To: SJG
[In reply to message rcvd 15-Oct-86 12:57-PT.]
According to your description, you get it. My commission is $50.
∂15-Oct-86 1435 JMC revision
To: jeh@GVAX.CS.CORNELL.EDU
CC: nilsson@SCORE.STANFORD.EDU
All I can bring myself to do is to add a single paragraph that goes
after the paragraph labelled 2 in the previous version.
I have used TEX notation for italicized phrases.
The AI approach to intelligence and mind has contributed
substantially to psychology and philosophy. Before AI, it was universal
in these fields to describe mechanisms of intelligence that weren't even
mechanisms, let alone mechanisms that had a chance of working. In
psychology, Allen Newell and Herbert Simon have had many followers. In
philosophy, the ideas of {\it intentional stance} and {\it design stance}
proposed by Daniell Dennett are AI based. The development of
{\it formalized non-monotonic reasoning} as branch of mathematical logic
originated in AI and has important consequences for psychology,
philosophy and mathematical logic itself.
∂15-Oct-86 2203 JMC SAIL keyboard for Vladimir
To: LES
I forget whether I mentioned this, but he has the highest priority for
a terminal with a SAIL keyboard when one becomes available.
∂15-Oct-86 2211 JMC
To: VAL
I'm finished with mcderm[1,val].
∂16-Oct-86 0017 JMC approximation by difference of square roots
To: rwg@SCRC-YUKON.ARPA
Any real can be arbitrarily well approximated by the difference of
square roots of natural numbers. How can one calculate the best
approximation of some number, say pi, by a difference of square
roots given a bound on the numbers used? I started attending
a problem class given by Paul Halmos, and it would be interesting
to get the best approximation of pi as a difference of square roots.
What's your best phase for phoning?
∂17-Oct-86 0124 JMC lunch
To: elliott%slacvm.bitnet@FORSYTHE.STANFORD.EDU
Sorry but I have to postpone it. I'll phone.
∂17-Oct-86 1208 Mailer failed mail returned
To: JMC
In processing the following command:
MAIL
The command was aborted because these Host Name(s) are Unknown:
RUSSIAN.SPA.Symbolics.COM
------- Begin undelivered message: -------
∂17-Oct-86 1208 JMC re: hasty response to bleary-eyed guess:
[In reply to message sent Fri, 17 Oct 86 02:03 PDT.]
This looks possible when p < q↑2. Otherwise, the series expansion
of the root doesn't converge. It seems that it would improve matters to
divide x, (the number being approximated) by some n↑2 to make it
small first. Aha, all this amounts to is rejecting the assumption, not
stated by you, that p/q is in lowest terms.
------- End undelivered message -------
∂17-Oct-86 1613 JMC
To: VAL
circui[f86,jmc] Sterling,Shapiro circuit program
gdcirc[f86,jmc] Sterling-Shapiro circuit
badcrc[f86,jmc] Sterling-Shapiro circuit with short circuit from n4 to n2
circu1[f86,jmc] Program with negation
∂17-Oct-86 2239 JMC re: program
To: UDI@SCORE.STANFORD.EDU
[In reply to message sent Fri 17 Oct 86 16:50:33-PDT.]
Vladimir is VAL@SAIL.
∂18-Oct-86 1134 JMC "An excessive skill at billiards is a sign of a misspent youth."
To: shoham@YALE.ARPA
It is clear that your youth has not been misspent so far. You have
confused billiards with pool, and the billiards players (often snobs)
will be offended. The billiard table has no pockets and there
are always exactly three balls on the table. The game you have seen
in bars, etc. is pool. Pool has many variants, but I'm not sure
that any of them admit situations in which there are as few as
two balls on the table.
Several copies of your draft have been made for the people you mention
in your previous message.
∂18-Oct-86 1258 JMC inaccurate history
To: shoham@YALE.ARPA
The footnote on p.21 says that Hayes 1978 was the first to go beyond
the discrete, point based framework of the situation calculus. Actually,
the 1969 paper that introduced the situation calculus had a treatment
of the law of falling bodies that included continuous time. In my
opinion, Hayes's histories made the treatment more complicated without
compensating advantages.
∂18-Oct-86 1548 JMC re: [CERF@A.ISI.EDU: Next Digital Library Meeting]
To: CERF@A.ISI.EDU
[In reply to message sent 18 Oct 1986 18:24-EDT.]
Your message reached me. I am not likely to move to a work station from
SAIL anytime soon, since present workstation systems don't offer any
simple way to have uniform access to my files both from home and office.
The proposed dates are ok, except that Friday offers me some difficulty.
I don't yet know whether I could leave after my class ends at 2:30 Thursday
and make a Friday meeting without taking a red eye, which I am reluctant
to do. Saturday is better, and I prefer not too early. It occurs to me
that it might be interesting to invite Michael Griffith from Marseilles
in France. He started on a computerized library of 19th century French
literature.
∂18-Oct-86 1743 JMC reply to message
To: AIR
CC: LES
[In reply to message from AIR rcvd 17-Oct-86 16:27-PT.]
The 27th will be ok.
∂18-Oct-86 1810 JMC re: sqrt-sqrt, I'm wet.
To: rwg@SCRC-YUKON.ARPA
[In reply to message sent Sat, 18 Oct 86 04:13 PDT.]
We have |sqrt(q↑2+p) - sqrt(q↑2-p) - p/q| ~ (p/q)↑3 * (1/(8q↑2)) just
by rationalizing the square roots. We also have that irrationals in
general can be approximated only with error 1/(sqrt(5) q↑2). Combining
these implies that your initial method is pretty good, but I gather
it often doesn't give the best results. What are some good counter
examples. Wednesday, I'll tell Halmos the results, and maybe he'll
tell his class some of them - depending on his pedagogical purpose.
∂20-Oct-86 1041 JMC
To: RA
lewis.2
∂20-Oct-86 1444 JMC inclusion in proposal
To: shoham@YALE.ARPA
CC: VAL@SAIL.STANFORD.EDU, LES@SAIL.STANFORD.EDU
We are currently writing the DARPA proposal for continuation of the work of
the Formal Reasoning Group. Actually we've finished the content part
and Les Earnest is doing the budget. It just occurred to me that it
might be convenient for you to be included. We will be asking for
support for the next three years, and we could put in a request to
support your work summers and for the non-teaching part of the
academic year + one student research assistant. Nils thinks it's a
good idea if you have no other source of research support in mind.
If you want to do it, we would need a sketch of what you
propose to do for the next three years. Les, LES@SAIL, would make
suggestions about DARPAizing it on receipt of the draft.
∂20-Oct-86 1538 JMC Gene Golub said you might help
To: nordmark@SUSHI.STANFORD.EDU
I need to pay a Swedish bill of 60 Kronor, but my bank wants to
charge $20 to transfer the money. It occured to me that someone
with a Swedish bank account cculd transfer the money to pay the
bill accepting reimbursement in dollars.
∂20-Oct-86 1550 JMC I have the information bulletin for the Moscow meeting.
To: VAL
∂20-Oct-86 1551 JMC I have the information bulletin for the Moscow meeting.
To: JMC
∂20-Oct-86 1608 Mailer failed mail returned
To: JMC@SAIL.STANFORD.EDU
In processing the following command:
MAIL
The following message was unsent because of a command error:
------- Begin undelivered message: -------
∂20-Oct-86 1608 JMC re: Janos Komlos of UCSD
To: guibas@DECWRL.DEC.COM, Nilsson@SCORE.STANFORD.EDU
[In reply to message from Leo rcvd 17-Oct-86 08:21-PT.]
I have looked at the Komlos folder. He seems to be a first class
combinatorist, and I have no objections. I leave to others the
following questions. (1) To what extent will he participate in
the work of this department as well as mathematics. (2) Will the
numerical analysts be disappointed that the joint appointment is
not in the area of "scientific computation".
Or is this a proposed additional joint appointment? If so, does it
use up part of the theory slot?
------- End undelivered message -------
∂20-Oct-86 1731 JMC re: Gene Golub said you might help
To: NORDMARK@SUSHI.STANFORD.EDU
[In reply to message sent Mon 20 Oct 86 17:23:39-PDT.]
Many thanks. I'll be in at 11.
∂20-Oct-86 1732 JMC
To: RA
I've found a Swede to pay the bill for me. He'll be here at 11 tomorrow.
∂20-Oct-86 2039 JMC re: Airline REGULATORY organization?
To: BRONSTEIN@SCORE.STANFORD.EDU, su-etc@SCORE.STANFORD.EDU
[In reply to message from BRONSTEIN@Score.Stanford.EDU sent Mon 20 Oct 86 17:08:54-PDT.]
Heh, heh. The CAB (Civil Aeronautics Board) has been abolished.
There is something called the Airline Passengers' Association through
which you can grumble.
∂21-Oct-86 0005 JMC Salamin
To: rwg@SCRC-YUKON.ARPA
Let me see how Halmos reacts to the whole proposition this Wednesday.
∂21-Oct-86 1257 JMC sorry
To: nordmark@SUSHI.STANFORD.EDU
I suddenly discovered a dentist appointment, and it drove all else from
my mind. I'll phone later.
∂21-Oct-86 1744 JMC re: Your copy of "The New Republic".
To: roy@NAVAJO.STANFORD.EDU
[In reply to message sent Tue, 21 Oct 86 17:16:04 PDT.]
You're welcome to it. It's probably one that I put in the lounge
recommending some article in an SU-ETC message.
∂22-Oct-86 0024 JMC re: inclusion in proposal
To: shoham-yoav@YALE.ARPA, LES@SAIL.STANFORD.EDU
[In reply to message sent Mon, 20 Oct 86 20:07:42 edt.]
I need about two pages, and I need it very soon. Send a copy to LES@SAIL
also. Our proposal includes non-monotonic reasoning and the formalization
of common sense knowledge and reasoning. I think it would be best if your
proposal fit in with that. Please include any applications that occur to
you. Also DARPA likes milestones, i.e. something about what will be done
when. Let's have also a current cv.
∂22-Oct-86 0026 JMC addendum
To: shoham@YALE.ARPA
CC: LES@SAIL.STANFORD.EDU
I was imagining that we would ask for money to support you for your
non-teaching time during the academic year and full time summer. You
mention that this would be for the theoretical part of your work. If
you have some other support, perhaps we should ask for less.
∂22-Oct-86 1027 JMC re: Qlisp reminder
To: CLT
[In reply to message rcvd 22-Oct-86 09:39-PT.]
Do we have an apology and/or promise from RPG?
∂22-Oct-86 1044 JMC re: Phony Status Symbols
To: ILAN@SCORE.STANFORD.EDU, su-etc@SCORE.STANFORD.EDU
CC: mis@PSYCH.STANFORD.EDU, helen@PSYCH.STANFORD.EDU
[In reply to message from ILAN@Score.Stanford.EDU sent Tue 21 Oct 86 18:59:54-PDT.]
Well, here I am thinking of buying a car phone, and at least it's ok from
one point of view, since my car has an automatic transmission. The headphone
seems like a good idea, but the outfit at the corner of Stanford Avenue
and El Camino that wants to sell me the phone didn't mention their availability.
But how can I tell whether I'm getting the phone because I like gadgets and
can imagine some uses for it or (merely) for a status symbol. We computers
and mathematicians should defer to the psychologists for an answer to this
question. We should also ask their professional opinions on whether
automatic transmissions are conveniences or status symbols and on whether
perhaps the aggressive criticism of automatic transmissions and other
gadgets plays a role in preserving one's status in certain subcultures.
I think I can put off getting the car phone for another week while I
wait for the answer. As for the automatic transmission, it still works
after fourteen years and I'm used to it, so I'll need more education
and guidance on that.
∂22-Oct-86 1850 JMC Stein
To: minsky@AI.AI.MIT.EDU
I've got his phone number, but if your phone book is now handy,
I'd like the address.
∂22-Oct-86 2135 JMC car door
To: CLT
I managed to fix it by toggling both the door lock and the manual
door handle. I can't make the trouble happen again, so I guess
you probably shouldn't plan on taking it in tomorrow. I can show
you what fixed it in case it happens again.
∂23-Oct-86 1223 JMC re: Invitation to speak
To: RA
[In reply to message rcvd 23-Oct-86 12:14-PT.]
If I'm not here, please decline for me.
∂23-Oct-86 1837 JMC
To: CLT
darpa[e86,jmc] Notes for 1986 proposal, page 4
∂24-Oct-86 0155 JMC re: Binford
To: NILSSON@SCORE.STANFORD.EDU
[In reply to message sent Wed 22 Oct 86 19:18:59-PDT.]
ok.
∂24-Oct-86 1422 JMC re: Binford's file
To: BSCOTT@SCORE.STANFORD.EDU
[In reply to message sent Fri 24 Oct 86 13:53:53-PDT.]
That will be ok.
∂24-Oct-86 1431 JMC re: Binford
To: RICHARDSON@SCORE.STANFORD.EDU
[In reply to message sent Fri 24 Oct 86 14:27:00-PDT.]
Who says we need 12 letters. Nils mentioned six.
∂24-Oct-86 1435 JMC references
To: TOB@SAIL.STANFORD.EDU
I have agreed to be chairman of your reappointment committee. I need
from you some names of people to whom I can write for references.
They want 12 names; I'm trying to hold out for 6. Please phone me
3-4430 or 857-0672 in the evening or on the weekend.
∂24-Oct-86 1503 JMC
To: TOB@SAIL.STANFORD.EDU
The request for 12 was a mistake; it's 6.
∂24-Oct-86 1526 JMC
To: RA
bass.1
∂24-Oct-86 1532 JMC
To: jutta@SCORE.STANFORD.EDU
No vote on Ko. I'm returning the file.
∂24-Oct-86 2108 JMC question
To: hsu@SUSHI.STANFORD.EDU
Sorry to have been busy when you came by. What were the questions?
You can phone me at home 857-0672 or I may be in the office some of
the time.
∂24-Oct-86 2135 JMC Conway problem
To: ashok@SUSHI.STANFORD.EDU
How do you understand the Conway problem about the angel and the devil?
Must the devil destroy a planet while the angel is on it? Is it that
the angel can't see what planets have been destroyed and may land on
one? Is it that the devil attempts to surround the angel by a barrier
of destroyed planets?
∂24-Oct-86 2136 JMC textbooks
To: crispin@SUMEX-AIM.STANFORD.EDU
If the story is correctly reported, these fundamentalists have got vastly
more than they are entitled to, and the decision will almost certainly be
reversed. If all they wanted was to educate their children themselves
out of textbooks acceptable to them, it would be different.
∂25-Oct-86 1321 JMC re: textbooks
To: Crispin@SUMEX-AIM.STANFORD.EDU
[In reply to message sent Sat 25 Oct 86 12:03:30-PDT.]
It may indeed have gotten worse; I'll find out in a few years. If so, however,
it isn't mainly the fault of the fundamentalists but the educationists.
∂25-Oct-86 1552 JMC another bug
To: udi@SCORE.STANFORD.EDU
There seems to be a bug in the polynomial recognition and differentiation
programs 3.28 and 3.29 on pages 61-63. The problem is that X+Y*Z can also
be parsed as (X+Y)*Z. If the problem is purely to recognize legal
polynomial expressions, this doesn't give wrong answers although it's
ugly. In the differentiation case, it will accept differentiations in
which the same expression is parsed differently in different parts of the
problem, and I believe this can result in accepting answers that do not
correspond to any parsing. At least this will be so if an expression is
differentiated twice.
∂27-Oct-86 1051 JMC re: lunch this week?
To: ELLIOTT%SLACVM.BITNET@FORSYTHE.STANFORD.EDU
[In reply to message sent Mon, 27 Oct 86 10:37:05 PST.]
Let's make it Wednesday.
∂27-Oct-86 1357 JMC re: lectures
To: AIR
[In reply to message rcvd 27-Oct-86 13:53-PT.]
That will be fine, and we should consider it part of your job, since
I think you aren't yet well enough prepared in LISP.
∂27-Oct-86 1425 JMC Kobrin recommendation
To: RA
Please fill in the form as follows:
Mr. Kobrin was a student in one class. He refreshed my memory
by giving me a notebook containing his work.
My opinion is that he deserved the A I gave him in the course.
The TAs made very favorable comments on his solutions of the
problems in the homework and the exams.
As far as I can see, he's an excellent candidate for the master's
degree program.
∂27-Oct-86 1448 JMC
To: RA
gelfon.re1
∂27-Oct-86 1508 JMC
To: RA
Wied.1
∂27-Oct-86 1520 JMC supporting your proposal
To: joshi@CIS.UPENN.EDU
CC: aaai-office@SUMEX-AIM.STANFORD.EDU
Dear Aravind:
I have decided to support your proposal for the Workshop on
Mathematical Theories of Language. I dithered quite a bit, because
the topic is slightly marginal and we're already supporting something
at the Linguistic Institute next summer. Frankly the deciding factor
was your very substantial contribution to AAAI. This assumes that the
budget is in the range you mention. Please communicate further with
Claudia. As a separate message I'm sending you a general blurb about
workshop support policies.
Sincerely,
John
∂27-Oct-86 1521 JMC Joshi proposal for Claudia
To: aaai-office@SUMEX-AIM.STANFORD.EDU
∂07-Oct-86 1226 JOSHI@cis.upenn.edu Workshop
Received: from LINC.CIS.UPENN.EDU by SAIL.STANFORD.EDU with TCP; 7 Oct 86 12:26:13 PDT
Posted-Date: Tue, 7 Oct 86 15:11 EDT
Message-Id: <8610071924.AA13257@linc.cis.upenn.edu>
From: Aravind Joshi <Joshi@cis.upenn.edu>
Subject: Workshop
To: McCarthy@su-ai
Date: Tue, 7 Oct 86 15:11 EDT
Professor John McCarthy
Department of Computer Science
Stanford University
Stanford, CA
Dear John:
During July 87 (from July 13 to August 7, to be precise), Stan Peters,
Bill Rounds (U. Michigan), and I are planning a workshop tentatively
entitled " Mathematical Theories of Language" at the Stanford Unviversity
in conjunction with the LSA Institute. The idea of this workshop came
up very recently and,therefore, was not included in
the eraly plans of the institute and the proposal to AAAI by LSA.
I am enclosing below a short paragraph which provides a tentative description
of the scope of the workshop. The workshop will be largely made up of
several people who are likely to be at the Institute for one reason
or another. However, in addition to these people, we would like to invite
about 5 more people to participate in this workshop. All of these
people (the 5 or so we want to invite plus the ones who are going to be
there anyway), with the exception of possibly one or two are directly
concerned with the natural language processing aspects of AI. I would like to
include at least one person who could report on circumscriptive inference
as it relates to inferences in language (in this connection, I would welcome
your suggestions, in fact, if you would like talk on this topic, we would
be very delighted). I would like to know whether you would entertain a small
proposal (to AAAI) for support of this workshop. The main items of support
are really for the additional people and support for the two
non-resident organizers. The total amount will be in the range of about
$6000 to $7000.
I hope you will be interested in considering this proposal. Of course, we
will submit a formal proposal. Since Stan Peters is right there, I will ask
him to help me with the preparation. I look forward to hearing form you soon.
Best wishes,
Sincerely,
Aravind
Aravind K. Joshi
joshi@cis.upenn.edu
Workshop on Mathematical Theories of Language (July 13 - August 7)
The workshop will meet twice a week for presentation and
discussion of mathematically formulated models of language
systems about which results can be proved that have interesting
interpretations for language. Topics are likely to include
formal languages, automata theory, strong and weak equivalence of
grammatical theories, rigorously defined frameworks for semantic
analysis and their mathematical properties, mathematical
properties of artificial languages as they relate to natural
languages, and mathematical theories of language learning. The
workshop is being organized by Aravind Joshi, Stanley Peters and
William Rounds and is expected to include specially invited
participants as well as participants who will be at the
Linguistic Institute for other activities.
-------
PS: Bonnie Webber and I are considering sending in a proposal later
(for a late 87 or early 88) on the topic "Parallel processing
in natural language processing aspects of AI" (tentative title). This will,
of course, more squarely in AI. Bonnie and I will be touch with you o
about this later.
∂27-Oct-86 1524 JMC Workshops in AI sponsored by AAAI.
To: joshi@CIS.UPENN.EDU
AAAI will sponsor workshops in particular areas of AI. So far more
than 10 have been sponsored. The format is not prescribed except that
this program does not sponsor large conferences.
Here are some policies.
1. Up to $10K can be approved per workshop.
2. No honoraria for speakers or overhead to institutions will be paid.
3. Proposals should be sent to
John McCarthy.
4. Electronic mail to JMC@SU-AI.STANFORD.EDU is preferred, but U.S.
mail to
Professor John McCarthy
Computer Science Department
Stanford, CA 94305
will also work. If you get impatient you can phone (415)723-4430.
5. Proposals should contain approximations to the following:
a. budget.
b. subject, detailed enough to evaluate relevance to AI
and possible overlap with other workshop proposals.
c. conditions of participation including how papers
and attendees are to be selected.
d. when and where if this is known.
6. Correspondence should be copied to AAAI-OFFICE@SUMEX.STANFORD.EDU
or to
Ms. Claudia Mazzetti, Executive Director
AAAI
445 Burgess St.
Menlo Park, CA 94025
You can phone her at (415)328-3123.
7. After McCarthy has approved the proposal further arrangements should
be made with Mazzetti at the AAAI office. This includes transfer of
money and possible help with publicity and workshop preprints and
publication.
8. After the workshop is finished there should be a report suitable
for publication in AI Magazine.
∂27-Oct-86 1852 JMC answering machine
To: RA
Too much of the time my phone isn't answered at all. I think I'd better
get an answering machine. Please see what the University is recommending.
∂27-Oct-86 1921 JMC
To: VAL
I phoned Tandberg who wants a letter.
∂28-Oct-86 0907 JMC
To: CLT
Lis Rowe called to say she got her samples and wants to talk to you.
∂28-Oct-86 1035 JMC re: reply to message
To: VAL
[In reply to message rcvd 28-Oct-86 10:27-PT.]
I thought I had mentioned him, but I guess I didn't. He is in the
Swedish Academy of Sciences and he is (chairman?) of the committee
on free movement of scientists of the International Council of Scientific
Unions (ICSU). The Moscow meeting is under the sponsorship of this Union.
Scott mentioned him and so did Walter Rosenblith whom I know from M.I.T.
and who is currently a vice-president of ICSU.
∂28-Oct-86 1149 JMC
To: RA
Please take the oral exam folder in my out box to the Graduate Office.
∂28-Oct-86 1151 JMC re: reply to message
To: VAL
[In reply to message rcvd 28-Oct-86 10:45-PT.]
Either would be fine.
∂28-Oct-86 1152 JMC re: Inference Corporation
To: TAJNAI@SCORE.STANFORD.EDU
[In reply to message sent Tue 28 Oct 86 11:32:59-PST.]
I feared they would. They just don't have time to take advantage of it.
∂28-Oct-86 1156 JMC re: group picture
To: AI.ELLIE@MCC.COM
[In reply to message sent Tue 28 Oct 86 13:51:46-CST.]
In that case, I'll schedule a vist for Nov. 14 and 15, Friday and Saturday.
Please check with Bob Boyer as to whether that is convenient.
∂28-Oct-86 1546 JMC parent suit
To: su-etc@SAIL.STANFORD.EDU, crispin@SUMEX-AIM.STANFORD.EDU
After reading the NYT story, I have concluded that the newspapers have
missed the essence of the matter. This batch of fundamentalists object to
treading material that almost everyone would find unobjectionable and in
fact material that is at the center of our culture, e.g. Shakespeare's
Macbeth.
If they proposed forbidding it in school, they would have to be
resisted. What they actually asked for and the court granted was the
right to teach their children to read at home. MRC mailed me a message
complaining about the lack of rigor of his own schooling. Suppose his
parents had objected to the way the school taught some subject, say
reading or mathematics, because it wasn't rigorous enough and proposed
to teach it at home. Then it seems to me that they should have been
allowed to do it under reasonable conditions, for example, assuring
that the children were appropriately examined. The fact that
this group's motivation was religious is irrelevant.
The response by the educationists was illiberal. They said,
"What if every group wanted to teach its children separately?" It
will be a lot of work for these fundamentalists to take their children
home for a certain period and then take them back to school. Only
quite strongly motivated people will go to that trouble.
The other argument was that textbook publishers would then
bowdlerize their material to make it unobjectionable to fundamentalists.
The argument is implausible in this case, because the this group
is so very far from the norm, although there has certainly been
some bowdlerization to avoid offending the creationists in certain
states. This needs to be resisted but not at the cost of preventing
people from educating their own children.
I suspect another motivation on the part of the school board.
Perhaps they believe that the parents are proposing to miseducate
their children by depriving them of (say) Macbeth and shouldn't be
allowed to do so. Many of the editorial writers probably think so
too. In my opinion education without Shakespeare is defective, but
so is education without calculus. I guess I think that civil rights
should take precedence in this case. After all, if the parents could
support a fundamentalist school and not use the public school at all,
they would be allowed to do it.
∂28-Oct-86 1658 JMC re: baby
To: MANAGO@SUMEX-AIM.STANFORD.EDU
[In reply to message sent Tue 28 Oct 86 15:11:24-PST.]
We have one of the rear facing type used for small babies. I think it
will be ok for a five month old unless the baby is very big. Phone 857-0672
or 723-4430.
∂28-Oct-86 1659 JMC
To: CLT
We could lend it under the condition that they take the baby carriage!
∂29-Oct-86 0011 JMC Parent suit
To: su-etc@SAIL.STANFORD.EDU
These children will, if their parents get their way, be in a regular
school most of the time. Thus their exposure to ideas other than
those of which their parents approve will be greater than if they
attended a religious school financed by their parents. There are,
of course, quite a number of fundamentalist private schools. It is
important to keep in mind the actual level of success of religious
schools in producing loyal adherents of all aspects of the religion
in question. The Catholic schools wern't so successful, not even those
run by the Jesuits, who bragged that if they educated a boy to the age of
seven they had him for life (Is this the precise brag and who bragged
it?).
Curiously enough, the librarians in L.A. were against the Oz books,
and I remember when my father took me to San Francisco and parked
me in the library while he attended a meeting and I read about 5
Oz books in one afternoon. I read very fast then.
RWF says:
"I think there would be a presumption of the right of the
state to specify curriculum in general, and require private schools to adhere
to the specs."
In fact, no state of the U.S. has ever asserted the right to specify
curriculum. At most they have required that certain subjects be
included. The right of parents to educate their children themselves
has been litigated many times --- often when the educationists have
particularly doctrinaire fit, they try to use the truancy laws to prevent
it. My recollection is that parents who persist win in the end, though
sometimes at great cost.
My own opinion is that historically the harm that has resulted from
excessive use of the state's power to control education is far greater
than the harm that has resulted from misguided parental control. Of
course, the main reason is that few parents take full control.
One recent related event occurred in France a few years ago when
the Socialist Government tried to control the Catholic schools.
It resulted in the largest demonstration in French history,
and the Government gave up. I forget the exact issue --- the Government
wasn't asserting very much control, but the Catholics took it
as the thin end of a wedge --- as did the more doctrinaire Socialists.
∂29-Oct-86 1133 JMC re: Parent suit
To: GRAY@SUSHI.STANFORD.EDU
[In reply to message sent Wed 29 Oct 86 10:14:26-PST.]
Winston Churchill said it, but I don't know if he was quoting someone else.
I don't have a reference.
∂29-Oct-86 1447 JMC re: ERROR
To: AI.ELLIE@MCC.COM
[In reply to message sent Tue 28 Oct 86 16:16:38-CST.]
OK, it turns out that it is convenient for me to have someone else
take my class on that day, so please ask Bob whether Monday and Tuesday
the 24th and 25th would be a suitable time for me to visit.
∂30-Oct-86 1242 JMC re: Parent suit
To: ashok@SUSHI.STANFORD.EDU
[In reply to message sent Wed 29 Oct 86 20:59:44-PST.]
Thanks for the saintly reference. I'll look him up. You remarked that
the solution given in Halmos's class for the triangle problem was
computationally inefficient. It seems to me that it is very efficient,
because it involves simply a change of co-ordinates and then sorting
the x-co-ordinates of the points.
∂30-Oct-86 1247 JMC re: Digital Library Meeting
To: CERF@A.ISI.EDU
[In reply to message sent 30 Oct 1986 04:33-EST.]
11-07 thru 9, Fri. 7pm, Reston, VA Library meeting msg.msg[1,jmc]/174p
ua50 8:45am arr 4:27, ua 53 9:20-1152, alt. ua57 5:20-852
There are my reservations. I haven't decided whether I'll take the
9:20 flight Sunday or stay on and take the 5:20. It depends on whether
I think I have additional contributions to make. I'll need a hotel
reservation and also information about how to get from Dulles to the
hotel and to the meeting. What institution is hosting the meeting?
You gave initials but I forgot them and didn't know what they stand for.
∂30-Oct-86 2230 JMC re: Binford Letter
To: NILSSON@SCORE.STANFORD.EDU
[In reply to message sent Thu 30 Oct 86 08:10:39-PST.]
The letter has a vulgarity of phrasing that would prevents me from
signing it. For example, I think we can ask about the scientific
contributions of his work without asking about its effects on
the visibility of the institution. However, I suppose I can take
its tone as a guidance about the nature of the decision of whether
to retain him.
I assume that the sample asked for comparisons with specific people.
∂30-Oct-86 2231 JMC Room switching
To: VAL
∂30-Oct-86 2203 cheriton@pescadero.stanford.edu Room switching
Received: from PESCADERO.STANFORD.EDU by SAIL.STANFORD.EDU with TCP; 30 Oct 86 22:03:21 PST
Received: by pescadero.stanford.edu with Sendmail; Thu, 30 Oct 86 21:45:26 pst
Date: Thu, 30 Oct 86 21:45:26 pst
From: David Cheriton <cheriton@pescadero.stanford.edu>
Subject: Room switching
To: jmc@su-ai
We had 39 people at the seminar today. I really dont see it feasible to
switch to a smaller room with this level of attendance.
Are there not other rooms available at this time?
David C.
∂30-Oct-86 2237 JMC re: Interview
To: FULLERTON@SIERRA.STANFORD.EDU
CC: nilsson@SCORE.STANFORD.EDU
[In reply to message from FULLERTON@Sierra.Stanford.EDU sent Thu 30 Oct 86 22:08:49-PST.]
Off hand this doesn't strike me as something worth doing except for money -
either for oneself or for some worthwhile cause.
∂31-Oct-86 1125 JMC
To: ME
There is a vertical line of dots on my screen. I guess it's no. 76.
∂31-Oct-86 1159 JMC Is this stupid propaganda?
To: su-etc@SAIL.STANFORD.EDU
My opinion is that it may not be stupid. See the end for
further comments.
a093 0919 31 Oct 86
PM-Soviet-AIDS Cartoon,0379
U.S. Ambassador Condemns AIDS Cartoon
MOSCOW (AP) - A cartoon published today in the Communist Party daily
Pravda revived Kremlin allegations that AIDS viruses were created in
Pentagon laboratories. U.S. Ambassador Arthur A. Hartman said the
cartoon was dreadful and dismissed the claim as nonsense.
The cartoon, printed on page five, showed a scientist giving a giant
test tube marked ''AIDS virus'' to a military figure who is paying
for it with dollars.
Bare feet surrounding the two men suggest that corpses lie either
side of them, and Nazi swastikas are drawn inside the test tube.
Above the caption, Pravda printed what it said was a quote from
unidentified newspapers: ''The virus of AIDS, a serious disease for
which no cure has yet been found, was created in the laboratories of
the Pentagon, according to some Western scientists.''
Hartman wrote to two Soviet newspapers last June to protest their
publication of allegations that AIDS was created in Pentagon chemical
warfare experiments.
He told U.S. reporters at a news briefing today, ''I particularly
disliked this morning to see (the fifth page of Pravda) which has a
perfectly dreadful cartoon.''
The Soviet allegations about the Pentagon manufacturing the AIDS
virus are ''absolute nonsense,'' he said.
AIDS, or acquired immune deficiency syndrome, attacks the body's
immune system, leaving the victim open to infection. There is no
known cure. It generally is transmitted through sexual contacts or
use of contaminated needles by drug abusers.
Hartman's letters to the literary weekly Literaturnaya Gazeta and
the daily newspaper Sovietskaya Rossiya were not printed, prompting
him to release their texts in July.
He said today he wrote the letters in part because he believed
allegations about AIDS printed in the papers were the beginning of a
Kremlin disinformation campaign he wanted to halt.
He said the allegation that AIDS resulted from Pentagon experiments
''undermines the credibility of this (Communist) party with its own
scientists.''
''We know that Soviet scientists themselves take the risk of AIDS
very seriously indeed,'' he said.
In published articles, Soviet scientists have acknowledged only a
very few cases of AIDS in the Soviet Union. The scientists have been
quoted as saying that the disease's origin is unknown.
AP-NY-10-31-86 1217EST
***************
According to the circulation desk at Hoover Library, Pravda arrives
a week late. When it does, I'll get a copy of the cartoon and post
it with a translation of the caption.
Here's the argument that printing the cartoon may not be stupid.
While AIDS is a serious problem in the U.S. and was identified first
here, it is a far worse problem in Africa and Haiti. The African
press and political figures are quick to blame the U.S. and the West
generally for any problem they face if there is the slightest plausible
reason. The cartoon will start a rumor, and the rumor will spread.
The fact that the source of the rumor is a cartoon will be irrelevant
and forgotten. The U.S. Information Agency and the Voice of America
will have to devote broadcasts to denying the rumor.
Of course, the cartoon will have a negative effect in the U.S.
The Ambassador was alert enough to protest, although I suppose some
people will say that he shouldn't have protested - that the protest
is a provocation intended to worsen relations. However, perhaps
not many papers will consider the A.P. story sufficiently newsworthy,
and anyway it will soon be forgotten. One of the major discoveries
of political propaganda, used by politicians in the U.S. also, is that
it is often effective to say contradictory things to different audiences.
The people offended by the discrepancy were probably against you anyway.
It's conceivable but I regarded it as unlikely that some U.S. leftists
will take up the story as they did the Soviet planted rumor that KAL007 was
ordered by the U.S. to fly over Soviet territory. They can proceed
by speculating that while Nixon officially closed down the U.S.
bacteriological warfare laboratory at Camp Detrick, Maryland around
1970, actually the work continued in secret. An artificial bacterial virus
being secretly tested in Nairobi escaped, etc.
∂31-Oct-86 1427 JMC lunch
To: elliott%slacvm.bitnet@FORSYTHE.STANFORD.EDU
The only feasible days for me are Tuesday and Thursday, and I will
have to leave by 1:10 either day.
∂31-Oct-86 1556 JMC re: tonight
To: CLT
[In reply to message rcvd 31-Oct-86 14:54-PT.]
ok
∂31-Oct-86 1606 JMC re: Is this stupid propaganda?
To: POSER@CSLI.STANFORD.EDU
[In reply to message sent Fri 31 Oct 86 14:28:18-PST.]
I must confess that I have forgotten the details, but what I read was
that it came from sources that have been associated with Soviet sponsored
rumors. As I recall the theory appeared in Soviet publications very
promptly after the Soviets stopped denying that they shot the airplane down.
∂31-Oct-86 1655 Mailer failed mail returned
To: JMC@SAIL.STANFORD.EDU
In processing the following command:
MAIL/su
The following message was unsent because of a command error:
------- Begin undelivered message: -------
∂31-Oct-86 1655 JMC )
To: yg%eecs.umich.csnet@RELAY.CS.NET
Moscow meeting
Have your received the information about the Moscow meeting yet? I
received it a few weeks ago; I wrote for it about the time of
our telephone conversation, which was, I think, in early August.
I'm now writing to
Dr. O. T. Tandberg
Royal Swedish Academy
Box 50005
S-10405
Stockholm, SWEDEN
Telephone: 468150430
who is in charge of such matters for ICSU, and I want to know the
status of your attempt. Vladimir has received nothing, but he
wrote after I did. As you probably know the deadline for abstracts
has been extended till March. I will mention you also and will
send you a copy of my letter to Tandberg, but you may want to
communicate with him yourself.
------- End undelivered message -------
∂31-Oct-86 1656 JMC Moscow meeting
To: yg%eecs.umich.csnet@RELAY.CS.NET
Have your received the information about the Moscow meeting yet? I
received it a few weeks ago; I wrote for it about the time of
our telephone conversation, which was, I think, in early August.
I'm now writing to
Dr. O. T. Tandberg
Royal Swedish Academy
Box 50005
S-10405
Stockholm, SWEDEN
Telephone: 468150430
who is in charge of such matters for ICSU, and I want to know the
status of your attempt. Vladimir has received nothing, but he
wrote after I did. As you probably know the deadline for abstracts
has been extended till March. I will mention you also and will
send you a copy of my letter to Tandberg, but you may want to
communicate with him yourself.
∂31-Oct-86 1752 JMC re: Colors query
To: GOLDBERG@CSLI.STANFORD.EDU
[In reply to message sent Fri 31 Oct 86 15:02:54-PST.]
Between 400 and 700 nanometers. 665 nm is in the green.
∂31-Oct-86 1804 JMC re: Is this stupid propaganda?
To: su-etc@SAIL.STANFORD.EDU
[In reply to message from GOLDBERG@CSLI.STANFORD.EDU sent Fri 31 Oct 86 15:30:16-PST.]
Damn. I always leave people an excuse for changing the subject back
to something that has already been hashed over. However, our government
is too leaky for something like deliberately using KAL007 to be kept
secret. Second, Ronald Reagan is too humane as have been all our
presidents since I have been observing them.
Another point. Besides it being a crime to shoot down a civilian airplane,
in my opinion it is dangerously provocative to shoot down even a military
plane over international waters unless you believe the airplane is
actually attacking. Perhaps someone can provide actual information
about this, but I would doubt that Air Force standing orders would
permit shooting down an airplane that was clearly on its way out of U.S.
unless it had attacked something. I'm not claiming that this policy
would or should be maintained in the face of repeated provocation,
but the first cases would get merely protests. The Soviets, however,
may have thought they were getting revenge for the U2.
I should say that I don't trust Hersch to be unbiased. I think he tends
to interpret information in an anti-U.S. way and to credit anti-U.S.
rumors and speculations - not all anti-U.S. rumors and speculations.
Doesn't anyone have anything to say about the actual Pravda cartoon?
∂31-Oct-86 2150 JMC Is this stupid propaganda?
To: su-etc@SAIL.STANFORD.EDU
∂31-Oct-86 2026 GOLDBERG@CSLI.STANFORD.EDU re: Is this stupid propaganda?
Received: from CSLI.STANFORD.EDU by SAIL.STANFORD.EDU with TCP; 31 Oct 86 20:26:32 PST
Date: Fri 31 Oct 86 20:07:27-PST
From: Jeffrey Goldberg <GOLDBERG@CSLI.STANFORD.EDU>
Subject: re: Is this stupid propaganda?
To: JMC@SU-AI.ARPA
cc: GOLDBERG@CSLI.STANFORD.EDU
In-Reply-To: Message from "John McCarthy <JMC@SAIL.STANFORD.EDU>" of Fri 31 Oct 86 18:04:00-PST
My apologies for bringing up something that was thoroughly gone over before.
I do not think that I changed the subject inappropriately, however. You
made a rather sweeping allegation (those who suspected US culpability in
the KAL007 matter were dupes).
Anyway, to address your question, I think that cartoon you describe is
disgusting. It is worse than stupid propaganda, it is insulting in a very
fundamental way. There are people who seem to like conspiracy theories and
will believe anything as long as it is evil enough. But people who are prone
to such paranoia are not always on the left. The country is full of people
like Gary Richard Arnold (Congressional candidate from the 16th district a
few years ago), the more extreme members of the John Birch Society,
etc. So, I think it is rather presumptuous of you to claim that it is
Moscow propaganda that is behind either the claim that the US is
partially responsible for the 007 tragedy (or even those who might
believe that the US military created AIDS). While you might disagree
with (or even think that some of these positions are crazy, I find it
frightening that you would associate particular opinions as coming
(even indirectly) from agents of Moscow.
You are probably right about military jets. It is extremely
provocative to shoot down a jet that is not actually attacking.
-Jeff Goldberg
Feel free to post this if you think it would be helpful to the
discussion.
-------
jmc - In neither case am I simply presuming that Moscow is behind it.
However, in the KAL007 case I don't remember the facts very well, except
that the Soviets started saying that the U.S. was responsible for the
South Korean flight just as soon as they began admitting that they shot it
down - a matter of two or three days. In the present case, Pravda cites
an unnamed Western newspaper, quoting unnamed Western scientists, but no
news story so far has named any. It occurs to me, however, that there
may be no deeper motivation than getting revenge for Western stories
about bacterial and chemical warfare in Laos and Afghanistan and the
story of several years ago about the anthrax outbreak in Sverdlovsk
being at a bacteriological warfare laboratory. The evidence on both
matters is quite strong but not overwhelming.
What about the stupidity question?
∂31-Oct-86 2228 JMC re: Disjoint triangles in the plane
To: ashok@SUSHI.STANFORD.EDU
[In reply to message sent Fri 31 Oct 86 22:03:01-PST.]
A random rotation wins with high probability. However, suppose the choice
turns out to be losing, i.e. in the course of sorting the points with the
new x as key it turns out that two or more points have the same x. Then
one can readily compute a small angle of rotation that will won't change
the sort order of the preceding points but will separate the two points.
∂31-Oct-86 2305 JMC re: Irrational Punch
To: ashok@SUSHI.STANFORD.EDU, RWF@SAIL.STANFORD.EDU,
pchen@SUSHI.STANFORD.EDU, ganGOLLI@SUSHI.STANFORD.EDU,
JJW@SAIL.STANFORD.EDU, bhayes@CASCADE.STANFORD.EDU
CC: ashok@SUSHI.STANFORD.EDU
[In reply to message from ashok@Sushi.Stanford.EDU sent Fri 31 Oct 86 21:37:47-PST.]
I see no bugs, but it seems to me that if we generalize your equations
slightly, matters become clearer. Suppose we take our points on the x-axis
at 0, a, and b. Let the point (x,y) be at distances r1, r2 and r3
respectively from these three points. We have the equations
x↑2 + y↑2 = r1↑2
(x - a)↑2 + y↑2 = r2↑2
(x - b)↑2 + y↑2 = r3↑2.
Subtracting the second and third equations from the first eliminates y,
leaving the two equations
2ax - a↑2 = r1↑2 - r2↑2
2bx - b↑2 = r1↑2 - r3↑2.
Multiplying the first of these by b and the second by a and subtracting
eliminates x leaving the equation
a↑2b - b↑2a = (r1↑2 - r3↑2)a - (r1↑2 - r2↑2)b.
If a and b are algebraically independent, as are your 1 and e, then they
can satisfy no such equation with r1, r2 and r3 algebraic, let alone
rational. However, if the r's are taken to be rational, obviously a
considerably weaker independence condition on a and b will suffice. For
example, we can choose a to be any non-zero number, e.g. 1, and b to
any number satisfying no quadratic equation over Q(a).
∂01-Nov-86 0132 JMC
To: DKE
Do you know if Ershov has arrived in the U.S.?
∂01-Nov-86 1142 JMC re: Lunch and more
To: ELLIOTT%SLACVM.BITNET@FORSYTHE.STANFORD.EDU
[In reply to message sent Sat, 1 Nov 86 11:34:01 PST.]
My intentions are based on an article by Thomas Sowell in American
Spectator. Bird, Reynoso and Grodin are particularly bad, but Tom Sowell
recommends voting against all but Lucas and Panelli.
I await your choice on lunch.
∂01-Nov-86 1842 JMC re: lunch
To: ELLIOTT%SLACVM.BITNET@FORSYTHE.STANFORD.EDU
[In reply to message sent Sat, 1 Nov 86 18:17:19 PST.]
ok
∂01-Nov-86 2311 JMC re: Abacus arithmetic
To: LES
[In reply to message rcvd 01-Nov-86 20:25-PT.]
The newspaper was the Stanford Daily in a story about space war.
∂02-Nov-86 1343 JMC re: What goes on at MENSA??
To: ILAN@SCORE.STANFORD.EDU, su-etc@SAIL.STANFORD.EDU
[In reply to message from ILAN@Score.Stanford.EDU sent Wed 29 Oct 86 01:23:42-PST.]
I attended a MENSA meeting once as an invited speaker about AI. There
was a party afterwards. I wasn't impressed by either the level of
questions or by the level of the conversation at the party. Making
IQ the criterion for admission to membership seems to have the effect
of limiting membership to people whose measured IQs are their only
qualification, i.e. people distinguished also by achievement don't
join MENSA. So it has smart Post Office clerks. The conversation
seemed glib and non-technical even when it ventured into areas where
technical knowledge was essential. This is consistent with Ilan
Vardi's example of their notion of primes; it's a psychologist's
off-hand idea of what a prime is. Curiously though, while the problem
is ill-posed, more accurate knowledge doesn't usually prevent one
from figuring out what answer is wanted in such tests. Thus one
can pass the test (if it's important for some reason) and still
maintain one's poor opinion of the people who made it up.
I suppose that a single contact with one MENSA group is inadequate
to form a considered opinion, and I would like to hear if anyone
else has direct knowledge of the quality of their meetings and
other activities.
∂03-Nov-86 2246 JMC re: Paly International Festival
To: cramer@Sun.COM
[In reply to message sent Mon, 3 Nov 86 11:28:53 PST.]
I got the list. The only one I know is Martin Hellman who is active
in the Beyond War organization. I believe it's one more that believes
that it can reduce the probability of nuclear war by scaring Americans.
∂03-Nov-86 2247 JMC re: Paly International Festival
To: cramer@Sun.COM
[In reply to message sent Mon, 3 Nov 86 11:28:53 PST.]
Also I share your suspicions, but can't think of anything worthwhile to do
about it.
∂03-Nov-86 2248 JMC re: Programming Languages
To: coraki!pratt@Sun.COM, ZM@SAIL.STANFORD.EDU
CC: coraki!pratt@Sun.COM
[In reply to message from coraki!pratt@Sun.COM sent Mon, 3 Nov 86 11:49:54 PST.]
It's worthwhile having lunch about it. How about some time next week?
∂03-Nov-86 2250 JMC reply to message
To: YM@SAIL.STANFORD.EDU
[In reply to message rcvd 03-Nov-86 13:19-PT.]
"Victor.Kuo%UPenn-GradEd%upenn.csnet"@CSNET-RELAY.ARPA
He is a graduate student at the University of Pennsylvania Computer
Science Department.
∂03-Nov-86 2252 JMC re: regrets
To: G.BEESON@CSLI.STANFORD.EDU
[In reply to message sent Mon 3 Nov 86 15:10:30-PST.]
Thanks, but I think you have heard almost all of it. You would have
added to the dinner though. I trust you had a good time in Italy.
∂03-Nov-86 2257 JMC re: Student Support
To: NILSSON@SCORE.STANFORD.EDU
[In reply to message sent Mon 3 Nov 86 09:43:26-PST.]
The only student that came to see me was Tim Fernando, and he emphasized
that he wanted to work on something quite different from our interests.
It seems to me that the students have got the idea that they don't actually
have to get connected with a research project to be supported. We are putting
in for the support of (I think) 5 students for next year in our DARPA
proposal, and we also have student support in the Qlisp proposal. If
things continue as they are, however, we will probably have to spend it
mostly on master's degree students.
∂03-Nov-86 2259 JMC re: Student Support
To: NILSSON@SCORE.STANFORD.EDU
[In reply to message sent Mon 3 Nov 86 09:43:26-PST.]
P.S. The only graduate student in CS we are currently supporting is Joe
Weening. We can support more, but it depends somewhat on whether there is
a gap before our new our new DARPA contract. We should know about that
soon after we submit it informally, which will be very soon.
∂04-Nov-86 0048 JMC Inference expenses
To: RA
air fare 118.00
taxi 10.00
breakfast 6.50
parking 12.00
round trip Stanford - San Jose
Scientific Advisory Board meeting
∂04-Nov-86 1113 JMC re: EBOS
To: AIR
[In reply to message rcvd 04-Nov-86 11:07-PT.]
I need it back; you can xerox it if you want.
∂04-Nov-86 1256 JMC
To: RPG
I'm not sure that a distinction was made at the time.
∂04-Nov-86 1256 JMC more
To: RPG
Since functions could be designated by either EXPR or SUBR, one
could have an EXPR flag, a SUBR flag, and a value flag all on
the property list of the same atom. I didn't devise that part
of the system, so it may merely have been hacked together.
∂04-Nov-86 1259 JMC two pieces of paper
To: LES
I have left you a visa form for Shankar. Is an H-1 the right thing
for him. Probably you should discuss it with him and someone else.
I'd naturally prefer to be able to keep him for a long time should
that seem the right thing to do without further fuss.
Second, here's the IBM award paper. They want to me to say whether
they should accept it. I looks ok to me.
∂04-Nov-86 1439 JMC re: Trip to Virginia
To: RA
[In reply to message rcvd 04-Nov-86 14:23-PT.]
I don't intend to decide when to return on Sunday until I get there
and see how the meeting is going. I'm guessing that I won't want
to stay all day Sunday, so my reservation is for the earlier flight.
∂04-Nov-86 1441 JMC new exercises
To: GLB
Thanks for getting the new version so quickly. It looks like what I
want. I'll get back to you tomorrow on it, but I doubt I'll want
to change it.
∂04-Nov-86 1549 JMC re: Confirmation Numbers for DC trip
To: CERF@A.ISI.EDU
[In reply to message sent 4 Nov 1986 17:11-EST.]
We have the numbers.
∂04-Nov-86 1552 JMC re: MS Program Committee Meeting
To: JUTTA@SCORE.STANFORD.EDU
[In reply to message sent Tue 4 Nov 86 11:35:08-PST.]
I see no present obstacle to attending.
∂04-Nov-86 1803 JMC re: Paly International Festival
To: cramer@Sun.COM
[In reply to message sent Tue, 4 Nov 86 17:33:10 PST.]
Thanks. I didn't know about the link to EST. There did seem to be an EST-like
flavor of just having discovered the truth about the world in Hellman's
conversation.
∂04-Nov-86 1904 JMC re: Statements...
To: vijay@ERNIE.Berkeley.EDU
[In reply to message sent Tue, 4 Nov 86 18:48:56 PST.]
Since Sept 30 I have received the following:
∂26-Oct-86 1221 vijay@ernie.Berkeley.EDU AI DISC: Searle replies to
Hofstadter
∂26-Oct-86 2336 vijay@ernie.Berkeley.EDU AI DISC: A restatement of the
Dreyfus Position
I'm still contemplating replying to the Searle statement accusing me
of resorting to abuse.
∂04-Nov-86 2104 JMC re: game of life
To: UDI@SCORE.STANFORD.EDU
[In reply to message sent Tue 4 Nov 86 18:46:18-PST.]
A square has 8 neighbors. It dies if it has more than 3 or less than
2 living neighbors. It survives if it has 2 or 3 neighbors, and a
new bit is born if it has exactly 3 living neighbors.
∂04-Nov-86 2216 JMC Ershov
To: DKE
He is free Thursday afternoon and evening from 1pm in San Francisco.
I'll arrange for him to be picked up and brought to Stanford. He
will phone again tomorrow evening around 10:30 to arrange details.
Is seeing him Thursday afternoon and/or dinner Thursday consistent
with your plans? He will also be available Monday.
∂05-Nov-86 1105 JMC re: Ershov
To: DEK
[In reply to message rcvd 05-Nov-86 06:02-PT.]
From 2 to 3, he's yours then, and I'll arrange a dinner. My idea
is to use the private room at Maddalena's in Palo Alto if there
aren't too many people. I assume both you and Jill will come.
∂05-Nov-86 1533 JMC
To: RA
levy.1
∂05-Nov-86 1552 JMC
To: RA
cohen.2, then file letter from him
∂06-Nov-86 0133 JMC
To: VAL
It turns out that Ershov can get a ride from the SF to Stanford.
∂06-Nov-86 0716 JMC fredki.2
To: RA
We did send Fredkin back his check didn't we?
∂06-Nov-86 1110 JMC
To: ZM@SAIL.STANFORD.EDU, VRP@SAIL.STANFORD.EDU
11-12 Wed. 1pm, ZM and VRP, programming languages faculty
∂06-Nov-86 1128 JMC
To: RA
simpso.1
∂06-Nov-86 1501 JMC re: A little more on final exams
To: STAGER@SCORE.STANFORD.EDU
[In reply to message sent Thu 6 Nov 86 10:40:46-PST.]
I received two copies of this and several preceding messages. If there
is a convenient way of receiving only one, I would prefer it.
∂06-Nov-86 1703 JMC re: discussion
To: Hsu@SUSHI.STANFORD.EDU
[In reply to message sent Thu 6 Nov 86 04:32:04-PST.]
Your message arrived at 4:30 pm. I will be glad to hear about your thesis
work next week some time.
∂06-Nov-86 2159 JMC re: discussion
To: Hsu@SUSHI.STANFORD.EDU
[In reply to message sent Thu 6 Nov 86 20:20:06-PST.]
How about Tuesday at 11am? I'll be gone from Friday morning through
Sunday, so I won't be able to respond to any alternate proposal
until Sunday night.
∂08-Nov-86 2153 JMC re: Frame problem workshop
To: SJG
[In reply to message rcvd 08-Nov-86 17:50-PT.]
I consider wanting to move the workshop mere snobbishness.
∂08-Nov-86 2155 JMC re: Happy Birthday to Timothy!
To: kuo@ENIAC.SEAS.UPENN.EDU
[In reply to message sent Sun, 9 Nov 86 00:25:27 est.]
Happy birthday, Victor.
∂08-Nov-86 2205 JMC re: death valley: question
To: BAUDINET@SUSHI.STANFORD.EDU
[In reply to message sent Fri 7 Nov 86 10:17:01-PST.]
Late November should be an excellent time for Death Valley. Not too
hot and not crowded. Some of the facilities may be closed.
∂09-Nov-86 1405 JMC
To: VAL
Formalizing the notion of context
\noindent {\bf Abstract:} Getting a general database of
common sense knowledge and expressing it in logic requires
formalizing the notion of context. Since no context is absolutely
general, any context must be {\it elaboration tolerant} and we
discuss this notion. Another formalism that seems useful involves
{\it entering} and {\it leaving} contexts; this is a generalization
of natural deduction.
\vskip .5in
%
∂09-Nov-86 1701 JMC
To: RA
heftle.1
∂09-Nov-86 1725 JMC
To: CLT
Off to Draeger's.
∂09-Nov-86 2232 JMC Alice called
To: CLT
and wants to be called back. 206 543-4374 office, 285-7146 home.
∂09-Nov-86 2352 JMC hurried comments
To: shoham@YALE.ARPA
There isn't really a question of syntax vs. semantics. Often
one's ideas are originally semantic. However, besides the semantic
formulation, it is possible in every case that I know about to give a
syntactic formulation of the semantic idea at the cost of using higher
order logic. I will give a second order syntactic formulation of your
chronological minimization. (Definition 4.1 on p. 113 of the Oct 6 draft).
I believe chronological ignorance can also be
translated into syntax, but I'm still not familiar enough with it to make
the attempt. I should remark that I previously found a syntactic version
of Siegel and Bossu. Also I like chronological ignorance, although I
think it will be part of some more general concept.
In order to do chronological minimization, we need only give
the ordering with respect to which the minimization will be done.
It's convenient to give the "less or equal" form of the ordering.
We change your notation in order to simplify matters and use
a straightforward second order formulation. We'll use p(j,t)
where you write TRUE(t,t',p). We're making the predicates
be true at times rather than over intervals, and j picks out
a member of your set S. Let p1(j,t) and p2(j,t) be the
two predicates we wish to compare. We write
(p1 lesseq p2) iff (forall t j)(p2(j,t) & not p1(j,t) implies (exists t' j')
( t' < t & p1(j',t') & not p2(j',t'))).
This is a lot shorter than your definition 4.1, especially when written
with a decent set of logical symbols. [When you come to Stanford you will
be able to use a computer with a decent set of logical symbols].
The main reason for wanting a syntactic form of the principle
is to take advantage of the notion of proof for reasoning. All
your results on complexity apply to using the syntactic formulation
as well.
I don't know the relation of this formulation to VAL's pointwise
circumscription. I'll ask him.
Remarks:
There are a lot, but I don't have more time at the moment.
1. I don't agree with your applications to free will,
since I prefer the formulation in the first part of McC and Hayes.
2. I think you have a "theory of time" rather than a
"logic of time", and it's better that way.
3. I should send you may formulation in first order logic
of the modality of knowledge using the Kripke accessibility relation
directly. The point is to introduce the possible worlds as first
order objects. Your use of S5 with which I sympathize should make
it even easier.
∂10-Nov-86 1157 JMC
To: RA
sull.1
∂10-Nov-86 1422 JMC re: Heftler letter
To: RA
[In reply to message rcvd 10-Nov-86 14:20-PT.]
It's around here somewhere, but you might as well ask Claudia or whoever
answers the phone there.
∂10-Nov-86 1442 JMC job
To: RLG
I have a job on which I would like your help.
∂10-Nov-86 2236 JMC Who is Frolov?
To: VAL
So you don't know who Frolov is. Ershov says there's only one
philosopher Frolov. Answer next message.
∂10-Nov-86 2236 JMC Who is Frolov?
To: VAL
The editor of Kommunist.
∂11-Nov-86 0029 JMC re: invitation to lunch
To: G.GORIN@HAMLET.STANFORD.EDU
[In reply to message sent Mon 10 Nov 86 18:13:00-PST.]
December 5 lunch it is.
∂11-Nov-86 1240 JMC dissent
To: Theory-List@IBM.COM
I wish to register a dissent from the message entitled "Military Funding
of Mathematics" distributed to this list. It looks like politically
motivated wishful thinking to me. It seems to start from the idea that
the Reagan Administration people are bad guys and to go on from there.
The opinion that SDI can't possibly work originated with the same people
who opposed other defense measures in the past. Of course, the proposal
for SDI originated with people who proposed other defense measures in the
past, but to a non-participant in strategic studies and debates it looks
like the same people are fighting the same old battles with new arguments.
In particular the opponents of SDI are extremely premature in
claiming to have proved that nothing can be done before something specific
has been proposed. I have studied the so-called computer science
arguments, and they are clearly hot air. They propose difficulties and
say they can't be overcome. The proponents admit the difficulties and say
they can be overcome. There is no scientific basis for settling the
matter until concrete proposals are made.
The political arguments that SDI is destabilizing are equally
flakey, because they are based on wishful thinking about understanding how
the Soviets will react to events in negotiations. For example, if I
understand the current Soviet proposals which are a reaction to the
installation of the Pershing missiles in Western Europe, they involve
going back at least part way to the situation before the Soviets began
installing SS-20 missiles threatening Western Europe and to which the
Pershings were the Carter Administration's reaction. The opponents of the
Pershings did not predict that. There is no basis for firm predictions of
how the Soviets will react to anything, and no-one has a good record in
predicting their reactions.
The previous message is simply an attempt to recruit the
mathematics community on one side of a political issue and to make
the American Mathematical Society take a political position.
However, there is one part of the message I agree with. Namely,
I agree that it is wrong to solicit SDI money to do something that one
is sure won't help SDI.
I may also remark that the first two sentences contain a non sequitur.
It begins "Many scientists think ... . Participation by ... lends a
spurious legitimacy ...". What many scientists think may not be so,
and many scientists think one way does not exclude the possibility that
many scientists think the other way.
∂11-Nov-86 1304 JMC re: job
To: RLG
[In reply to message rcvd 11-Nov-86 12:39-PT.]
Make it Thursday at 11.
∂11-Nov-86 1650 JMC
To: LES
Make the IBM contract happen.
∂12-Nov-86 1145 JMC
To: RA
I thought we had sent of the corrected proofs to ACM.
∂12-Nov-86 1152 JMC
To: RA
kahn.2, reimbursement for Ershov dinner from unrestricted, papers to Patrice
∂12-Nov-86 1301 JMC Here's a draft.
To: VAL
Dr. O. T. Tandberg
Royal Swedish Academy
Box 50005
S-10405
Stockholm, SWEDEN
Dear Dr. Tandberg:
This letter is to follow up on my phone call, provide the
information you requested and ask some questions about what ICSU
is likely to do to assure that my colleagues can attend the Moscow
meeting, what ICSU has done in the past with what result, and what
ICSU and its constituent societies do when their efforts fail.
I need this information in order to determine whether ICSU can
be relied on or whether independent effort is needed to put
pressure on the Soviets.
The meeting is the Eighth International Congress of Logic,
Methodology and Philosophy of Science which will be held in Moscow, August
17-22, 1987. My colleague Vladimir Lifschitz and I plan to submit
a paper with the approximate title ``Causality and Non-Monotonic Reasoning''.
Dana Scott knows something of our work in this area and will
tell you that it is entirely appropriate for the Congress.
Lifschitz was educated in Leningrad as a mathematical logician and
legally emigrated to the U.S. in 1977. He is now a U.S. citizen. In the
U.S. he has had academic jobs including a tenured associate professorship
at the University of Texas at El Paso, but now he is Senior Research
Associate in Computer Science at Stanford. I believe he will eventually
become a professor in the Stanford Computer Science Department. He has
recently become well known in the field of artificial intelligence for his
work in formalizing non-monotonic reasoning and is an editor of the
journal {\it Artificial Intelligence}.
Besides Lifschitz we know that Professor Yuri Gurevich of the
Computer Science Department, University of Michigan, has applied for
information about the Moscow meeting and intends to submit a paper.
Gurevich also emigrated legally from the Soviet Union and is now an
Israeli citizen.
Incidentally, the head of the Soviet organizing committee, Ivan
Timofeyevich Frolov, is the editor of {\it Kommunist}, the main
theoretical journal of the Communist Party as well as a Corresponding
Member of the USSR Academy of Sciences. He is thus an important enough
person to be able to obtain prompt answers to questions that may arise.
On the other hand, he might have some commitments as to who are
non-persons.
As I mentioned, I have had some previous experience with similar
issues, and I enclose a copy of a report about some problems that were
encountered in 1975. I hope that eleven years more experience has
resulted in the ability of ICSU to handle such problems effectively.
Sincerely,
cc: Vladimir Lifschitz, Yuri Gurevich, Patrick Suppes, Dana Scott,
Walter Rosenblith
∂12-Nov-86 1435 JMC
To: RA
tandbe.1
∂13-Nov-86 1014 JMC re: Nobel Prize
To: TAJNAI@SCORE.STANFORD.EDU
[In reply to message sent Thu 13 Nov 86 09:05:23-PST.]
Gee, I never dreamed that. Thanks for the dream. Maybe I'll dream it now.
∂13-Nov-86 1139 JMC
To: RLG
KNOW[E78,JMC] FORMALIZATION OF TWO PUZZLES INVOLVING KNOWLEDGE
KNOW.ART[F75,JMC] 18-Sep-77 AN AXIOMATIZATION OF KNOWLEDGE
AND THE EXAMPLE OF THE WISE MAN PUZZLE
KNOWLE.AX[E78,JMC] start on knowledge axioms with learning and K(person,
KNOW3.AX[E76,JMC] 03-Aug-76 Concepts with assignments and arithmetic
KNO1.PRF[E76,JMC] 28-Jul-76 A person comes to know what he is told.
KNOW.AX[E76,JMC] 27-Jul-76 with concepts, wants and future
KNO2.AX[E76,JMC] 30-Jul-76 Knowledge with wants and likes
CONCEP.AX[S76,JMC] 03-Jun-76 NOtes for knowledge, can, causality axioms
KNOW.AX[S76,JMC] 05-Jun-76 Propositions are true in situations
TAUT.PRF[F75,JMC] 13-Dec-75 Even fools know tautologies
KNOW.AX[F75,JMC] 15-Dec-75 General knowledge axioms
KNOW.AX2[F75,JMC] 29-Dec-75 Kripkean knowledge axioms
KNOW[W76,JMC] 30-Mar-76 KNOWLEDGE OF TELEPHONE NUMBERS
KNOW[F78,JMC] "Mike knows what Joan asserted", etc.
KNOCOM[W79,JMC] COMPUTATION WITH STATES OF KNOWLEDGE
ABOUT[W80,JMC] Knowing about
BODY[W80,JMC] Bodies of knowledge
JOINT[W80,JMC] JOINT KNOWLEDGE
SEMINA.[E80,JMC] Knowledge and action seminar
KNOW.2[W81,JMC] Formalization of two puzzles involving knowledge
know[w81,jmc] original jmc knowledge axioms and version in FOL
know[e81,jmc] Revising Montague's knowledge axioms
KNOW.PRF[F81,JMC]
know[f81,jmc] draft of paper on knowledge
knowax.lsp[f81,jmc] ekl axioms for knowledge, original jmc modal system
know3.lsp[f81,jmc] ekl axioms for knowledge using possible worlds
know4.lsp[f81,jmc] comments and axioms on Kripke type knowledge
knowle[f81,jmc] axiomatizing knowledge using consistency
know[f83,jmc] Notes on non-knowledge
know.lsp[f83,jmc] EKL axioms for knowledge
know2[f83,jmc] Passing the salt
know.abs[w84,jmc] Abstract for lecture in Halpern seminar
know.lsp[w84,jmc] ekl axioms
comm[e85,jmc] Common sense knowledge
halper[e85,jmc] Abstract for Halpern's knowledge conference
halper.abs[e85,jmc] Draft abstract for Halpern conference on knowledge
mental.abs[e85,jmc] Abstract for Halpern based on mental situation calculus
theory[e85,jmc] theoretical use of knowledge
know[f85,jmc] Knowledge for Halpern meeting (Dec. 15 deadline)
know.fil[f85,jmc] List of files referring to knowledge
WISEMA[F75,JMC] 03-Dec-75 ANOTHER FORMALIZATION OF THE WISE MAN PUZZLE
puzzle[w78,jmc]
WISE3.AX[S78,JMC] 26-Jun-78 Axioms for 3 wiseman problem
WISE3.PRF[S78,JMC] 24-Jun-78 Proof of 3 wiseman problem
UNFAIT.AX[S78,JMC] 30-Jun-78 start on axiomatizing unfaithful wives
∂13-Nov-86 1521 JMC re: John Sowa - Industrial lecturer Fall quarter 87/88
To: WIEDERHOLD@SUMEX-AIM.STANFORD.EDU
[In reply to message sent Thu 13 Nov 86 15:01:23-PST.]
In principle, I don't decide until I have all the proposals, but
I generally accept proposals with such strong faculty endorsement
as you have expressed.
∂13-Nov-86 1525 JMC re: Thanks
To: CERF@A.ISI.EDU, reddy@A.CS.CMU.EDU
CC: kahn@A.ISI.EDU
[In reply to message from CERF@A.ISI.EDU sent 13 Nov 1986 18:16-EST.]
In my letter to Bob about expenses containing receipts, I
put on paper some of my remarks made at the meeting. Here they are.
Let me re-iterate a few of the points that I made at the meeting.
1. Technology already exists to make an enormous improvement
in the accessibility of written material to the public at costs
far less than continuing the present system. This technology has existed
since about 1970.
2. The primary problem is entrepreneurial and political ---
not technical.
3. It is always possible to conduct more studies and to do
more research. In so far as this has the effect of postponing action,
such studies and research have substantial negative aspects. Institutions
already exist to support research, and many people are programmed
to initiate studies. One way to get support for a study is to claim
that its results are necessary before action can be taken. This has
the afore-mentioned bad effects.
4. You and NRI are in a an excellent position to do much
of the politics required to bring about a national digital library
or at least to get some project started.
5. More precisely technology is ready for the following.
A national library in which the contents of the Library of Congress
are available on disk file and are accessible from any terminal in
the country by telephone directly and by the various networks. In
its preliminary form, readers find the documents they want by using
the usual catalog, available as another document. At first there
need not be pictures or even formulas, but once the project is started,
including documents for which these are essential should be an
early goal. This involves research, but this research will
readily find support once the main task is undertaken. The documents
would be primarily stored as character strings to permit searching and excerpting
rather than as images.
6. Ideally Congress would accept the goal of a national free
public electronic library comprising all documents in the Library
of Congress and would appropriate money accordingly. The Library
of Congress could manage the project if it took a broad enough view
of its function. The Library's current project based on storing
images is probably a harmful distraction, however.
7. An attempt should be made to achieve this goal. At the
meeting the names of various Representatives and Senators who might
be interested were mentioned.
8. If it turns out that getting political support for the
grand goal of a comprehensive national library is infeasible, various
limited projects may be politically more feasible. Here are some
that were mentioned at the meeting.
a. The information that the Government must make
available according to the Freedom of Information Act should
be electronically available if the goals of the act are to be
realized.
b. NTIS should make an electronic library of its
reports. For this purpose it needs to define one or more electronic
formats in which it will receive the information.
{\it In this connection it now occurs to me that the
Postscript format is probably not acceptable, because it doesn't
have a decent standard form in which the character strings are visible
so that the reader can search and excerpt.}
c. The National Library of Medicine is relatively
advanced technologically compared to other Government agencies.
d. The Government Printing Office should publish
many of its documents primarily in electronic form so that they are nationally
available for reading on terminals and for local printing.
9. The technical problems include
a. Improved terminals for reading including very
portable ones.
b. Computer system improvements that will permit handling
a large number of readers at once. Doubtless this will involve parallel
processing at some point.
c. Maintaining adequate redundancy.
d. Copyright problems. These can be postponed if
necesary by starting with public domain material and by making
arrangements for experimental use with copyright holders. Co-operative
copyright holders can be offered title to the standard format copies
of their material in exchange for permission to use it in experimental
versions of the system.
10. I am willing to take part in a few presentations of the
idea to people who might help get the money to implement it.
I am eager to see the NRI plans take a concrete form that
will advance these goals.
∂13-Nov-86 1535 JMC
To: CLT
HOSPITAL STRIKE: Kaiser System Copes with Walkout
SAN FRANCISCO - Flat on a stretcher, a tube in his nose and groggy
from a respiratory ailment, John Figueroa had the strength to applaud
his doctors at one of 26 strike-bound Kaiser hospitals. Doctors have
mopped floors while their spouses volunteer for odd jobs to help
maintain services during a strike by 9,000 clerks and technicians.
Slug AM-Kaiser Copes. New, should stand. 700 words.
∂13-Nov-86 2222 JMC
To: RA
mcc has new address and phone number for future invoices
MCC 512 343-0978,Austin,TX
Adm. Bobby Inman, Woody Bledsoe, Les Belady, Charles Petrie, Don Steiner
David Russinoff, Clive Dawson, Doug Lenat, Mary Shepherd
I stay at Hawthorne Suites, 8888 Tallwood, 512 343-0008.
Ellie Huck, ai.ellie@mcc makes reservations
3500 West Balcones Center Drive
Austin, Texas 78759
∂13-Nov-86 2239 JMC stupid propaganda
To: su-etc@SAIL.STANFORD.EDU
1. The U.S. conducted research in biological warfare at Camp Detrick, Maryland
until about 1971. At that time President Nixon announced that the U.S. was
abandoning biological warfare research. So far as is public there is no
such research currently being carried out by the U.S. Of course, one can
imagine that it might be carried out secretly, but remember that it must
be reported to the relevant Congressional committees, and there are plenty
who would object. There are also plenty of whistle blowers, so while it's
not impossible, it's very improbable.
2. The Soviet Union at first said there was no AIDS in the Soviet Union -
strictly a degenerate capitalist phenomenon. More recently they have
found some cases. I don't know how prevalent homosexuality is in the
Soviet Union; the Soviet Government may not know either. Whatever the
facts about that, one would expect a disease originating abroad to
reach the Soviet Union late, because there is far less travel between
the Soviet Union and other countries.
3. I didn't know that the rumor originated in the U.S. Perhaps I should
have guessed, knowing a little about the East Coast left wing paranoids.
∂13-Nov-86 2359 JMC
To: RA
dewdne.1
∂14-Nov-86 1336 JMC re: update
To: shoham@YALE.ARPA, nilsson@SCORE.STANFORD.EDU,
genesereth@SCORE.STANFORD.EDU
[In reply to message from shoham@YALE.ARPA sent 14 Nov 86 15:44:40 EST.]
The phrase "I won't get to Stanford and April" must be a misprint for
something else. What?
∂14-Nov-86 1338 JMC re: Walter Rosenblith
To: RA
[In reply to message rcvd 14-Nov-86 12:53-PT.]
Rosenblith 617 253-1990
He's at M.I.T. Phone for the address.
∂14-Nov-86 1345 JMC reference
To: RA
Ask Paul Rosenbloom for the best reference for the basic ideas of SOAR.
If there is a good one that includes Newell as an author it would be best,
but it isn't essential.
∂14-Nov-86 1347 JMC Cancel previous message. You've got the reference.
To: RA
∂14-Nov-86 1518 JMC Curriculum Vitae
To: RA
∂14-Nov-86 1151 RICHARDSON@Score.Stanford.EDU Curriculum Vitae
Received: from SCORE.STANFORD.EDU by SAIL.STANFORD.EDU with TCP; 14 Nov 86 11:50:55 PST
Date: Fri 14 Nov 86 11:48:46-PST
From: Anne Richardson <RICHARDSON@Score.Stanford.EDU>
Subject: Curriculum Vitae
To: ac@Score.Stanford.EDU
Message-ID: <12254924121.12.RICHARDSON@Score.Stanford.EDU>
For those of you who have not already done so, could you please send me
a current curriculum vitae as we have need of them from time to time.
Thanks,
Anne
-------
∂15-Nov-86 1240 JMC Saying for today
To: su-etc@SAIL.STANFORD.EDU
Praising the Sandinistas while criticizing the Soviets is like
loving kittens and hating cats. Actually it's not a nice kitty either.
∂15-Nov-86 1441 JMC re: Interview
To: FULLERTON@SIERRA.STANFORD.EDU
CC: nilsson@SCORE.STANFORD.EDU
[In reply to message from FULLERTON@Sierra.Stanford.EDU sent Thu 30 Oct 86 22:08:49-PST.]
SRA sent me a sample of the kind of videotape they plan to make. It has
a lot of flashy visuals, but extremely feeble content. I strongly advise
anyone thinking of taking part in this project to charge them a large
fee.
∂15-Nov-86 2127 JMC crash recovery
To: action@LINDY.STANFORD.EDU
I was using Socrates (account ed.a69) when the network or possibly
the IBM computer crashed. After it recovered I attempted to log in
again, but it told me that account ed.a69 was already logged in.
Is there some way to either reconnect to the job or kill it?
∂15-Nov-86 2136 JMC
To: niz@LINDY.STANFORD.EDU
Thanks. The number of the port ended in 5 if that's useful.
∂15-Nov-86 2139 JMC Well, here's some trouble.
To: niz@LINDY.STANFORD.EDU
.tn forsythe
Trying FORSYTHE.STANFORD.EDU [36.54.0.12] ... Open
Lindy Gateway (4.3 BSD Unix). Report problems to ACTION@LINDY.
Connecting to Forsythe on ttyj5
Error: Trouble using port /dev/ttyj5
Host closed connection
Exit
↑C
∂15-Nov-86 2150 JMC
To: niz@LINDY.STANFORD.EDU
Thanks, it worked this time.
∂16-Nov-86 1443 JMC re: tonight
To: CLT
[In reply to message rcvd 16-Nov-86 12:50-PT.]
You can count on it as a regular thing unless I say otherwise well
in advance.
∂16-Nov-86 1808 JMC re: SDI debate
To: 6058598%PUCC.BITNET@WISCVM.WISC.EDU
[In reply to message sent Wed, 12 Nov 86 19:47:45 EST.]
Sorry to be slow in answering your questions.
First let me tell you the story of my involvement in the controversy. In
1970 or thereabouts I was a good liberal and signed a petition promoted by
Dan McCracken against ABM. I later asked another faculty member somewhat
to the left of me whether he had signed it, and he answered no, and said
that he didn't think George Forsythe knew what software was or not
feasible and neither did he. I said "My goodness, is that what I signed?"
and promptly wrote McCracken withdrawing my signature. In 1983 or 1984 I
had some dealings with Robert Jastrow on another matter, and he later
asked me to sign a statement in favor of SDI. I declined but said that if
anyone claimed that some principles of computer science proved that SDI
was impossible I would sign a counter statement. I fully expected to be
called on this, and I was.
I have not at any time been involved in research aimed at SDI nor in
any of the committees dealing with the relevant computer problems. I
have no objections but haven't been asked and haven't volunteered.
Now to expound my position. First the non-computer part.
1. I'm in favor of the objectives of SDI. I believe that some defense
is better than none, so my support doesn't depend on any precise estimate
of what amount of protection can be obtained.
2. I should mention also that I have had dealings with Edward Teller in
another (non defense) connection, and became an admirer. I have some
slight bias in favor of proposals he favors.
3. I don't believe the arguments that SDI is destabilizing. I don't
agree that game-theoretic models of the military situation of the U.S.
and the Soviet Union cover enough of the facts to provide a basis for
analysis. No-one is likely to attack on the basis of a now-or-never
analysis of the military situation, because the military facts will
always be too unclear.
4. I regard the largest probability of nuclear war as residing in
the underdeveloped war where the hostilities are greater and the
rationality is less than in the U.S. or even the Soviet Union.
5. I don't regard the U.S. and the Soviet Union symmetrically.
If the Soviet Union were a democracy, albeit a socialist democracy,
I wouldn't fear them. Democracies don't go to war with each other.
6. The largest danger of war with the Soviet Union arises from the
possibility that their opaque and conspiratorial politics will bring a
military adventurer to the top. Another (less likely) possibility is that
they will mistakenly come to believe from U.S. weakness and internal
politics that the U.S. can be bullied in some matter. Historically
oligarchies generate political surprises. I can't evaluate the
probability, but better safe than sorry, and to my mind, adequate U.S.
military strength is safer than the reverse.
7. Finally, I regard the SDI "technical" debate as a continuation of
previous defense "technical" debates. The same players are on the
same sides, and this seems unlikely to be a co-incidence arising merely
from their accidentally held scientific opinions. Some people argue
for various defense measures consistently, and others argue consistently
against them. There is a slight asymmetry arising from limited resources.
The advocates of certain defense measures usually have to argue against
certain others.
8. Many of the computer opponents of SDI seem to be substantially
motivated by wishful thinking. Bluntly they hope SDI will be found
to be infeasible. Why they should hope that is unclear. Mainly I
think it's a continuation of politics by other means. Thus many of
the people opposing SDI allegedly for computer professional reasons
were members of Computer Professionals for Social Responsibility who
opposed the Pershing missiles giving reasons having little to do
with computing per se.
I think this is mainly a continuation of American defense politics
in which technicla arguments were made on previous defense issues,
but the friendships and alliances involved clearly had a political
basis. People on the left often hate Reagan but regard Gorbachev
as a kind of force of nature - no more an appropriate target of
animosity than Mt. St. Helens.
9. I regard efforts at inducing a mood of desperation about the likelihood
of nuclear war as tending to increase the probability of war rather than
reducing it. Namely, desperation induces oscillations in politics and of
policy. Carter's reference to "inordinate fears of communism" and
embracing Brezhnev led the public to replace him by a President who
referred to "the focus of evil in the world".
10. In writing a thesis about the matter you will be kidding yourself
if you attempt to interpret the arguments by either side as totally
motivated by technical considerations.
Now to computer issues.
1. In general, I would like to reserve my position on the feasibility of
the computer part of SDI until a specific system is proposed. I can
imagine concluding that a specific proposal is defective or that the
arrangements for implementing it are defective.
2. I don't believe there is any principle of computer science from which
it can be concluded that a complicated system can't be built with a
high probability of working the first time. I have read the arguments
by David Parnas and by David Redell and Greg Nelson, and they seem to
have a purely qualitative character. They identify some difficulties
with SDI systems, and say they cannot be overcome. Opponents agree
that these are difficulties but expect to overcome them.
3. A substantial reason for hoping that the computer problems of SDI can
be overcome is the small part that computer hardware or software problems
have played in the delays, cost-overruns and disasters of previous computer-
dependent systems. This is certainly true of the Shuttle program, even
though one or two launches were delayed a few days by computer problems.
If computing unreliability turns out to be a substantial part of
the difficulties with SDI, enormously more effort can be put into it
than has been required by previous systems. [It is possible that
some other systems have had most of their problems stemming from
computing difficulties, but I haven't heard it alleged. A possible
example is the Aegis missile ship system].
4. I see no reason why previously used methods won't be sufficiently
successful in ensuring adequate reliability of SDI computing. Examination
of each bit of code by many people, identifying critical parts and
extensive debugging using simulation can all be used more intensively
than before.
5. The SDI system would probably function with some remaining bugs. It
will be used once, and the particular attack that occurs may not activate
the more obscure bugs. At least the bugs that survive a long time in
other systems are those which don't prevent early runs from being successful.
6. SDI is a military system, and throughout any military conflict and especially
in the beginning, there are all kinds of failures both in offense and
defense.
7. I would like to see program verification technology tried out on
suitable parts of SDI, because I think it would increase its reliability.
I don't think it's absolutely necessary, however.
8. I have heard that some people have advocated use of AI in SDI, but
I doubt they have proposed anything concrete. I would want to see
any such concrete proposal examined very carefully. Certainly I don't
see any present requirement for it, but it might help deal with certain
kinds of unexpected situations.
Well now, sorry to have been so lengthy.
∂16-Nov-86 2036 JMC
To: CLT
Zella called to say she would come Tuesday instead of Monday - citing virus.
∂16-Nov-86 2222 JMC re: Solving Difficult Integrals?
To: wbm@WHITNEY.STANFORD.EDU
[In reply to message sent Sun, 16 Nov 86 22:05:14 pst.]
More extensive tables than those in the CRC Handbook
can be found in the Mathematics Library.
∂17-Nov-86 0028 JMC
To: RA
I promised an inclus
∂17-Nov-86 0028 JMC inclusion
To: RA
I promised to include the report on the 1975 IJCAI in the letter
to Tandberg, et. al. If you didn't notice it, please make copies
and send them separately.
∂17-Nov-86 0056 JMC
To: RA
scarle.7
∂17-Nov-86 0949 JMC re: lunch this week
To: ELLIOTT%SLACVM.BITNET@FORSYTHE.STANFORD.EDU
[In reply to message sent Mon, 17 Nov 86 09:17:40 PST.]
Of the above, Friday is feasible, so let's do it then.
∂17-Nov-86 1114 JMC re: inclusion
To: RA
[In reply to message rcvd 17-Nov-86 11:11-PT.]
It's ijcai.rep[f75,jmc] in pub.
∂17-Nov-86 1418 JMC re: expenses for Kahn
To: RA
[In reply to message rcvd 17-Nov-86 14:01-PT.]
I think I did; it's a smaller ticket than the San Jose receipts. However,
he'll surely pay without it, and I remember it as $22.
∂17-Nov-86 1437 JMC teaching
To: rivin@SCRC-PEGASUS.ARPA
If your are interested in teaching a course in mathematical computation,
I'm sure it could be arranged. It might also establish a need here
that no-one previously knew existed.
∂18-Nov-86 1300 JMC
To: CLT
a207 1116 18 Nov 86
AM-Toys, Bjt,0638
Government Renews Toy Safety Campaign
By RANDOLPH SCHMID
Associated Press Writer
WASHINGTON - Americans will spend more than $7 billion on toys by
Christmas, and Barbara Bush is urging that they make safety a major
concern in choosing those purchases.
''We need to anticipate how youngsters will use a toy,'' the wife of
Vice President George Bush said Tuesday at the Consumer Product
Safety Commission's annual toy safety press conference.
Dangerous sharp points and edges, flying pieces and loud noises may
not seem like Christmas concerns, but Safety Commission experts urged
parents to keep those and other potential hazards in mind when
shopping for gift toys.
''There is an unmistakable need for us to hear the message every
November about the need for toy and holiday safety,'' said Mrs. Bush.
''In spite of all that's been done through the years to make toys
safer, the final responsibility always rests with the parents.''
If this year is like 1985, about $7 billion worth of toys will be
sold between Halloween and Christmas, said Safety Commission Chairman
Terrence M. Scanlon.
That amounts to more than half of all toys sales during the year,
making it an especially important time to concentrate on buying safe
items, said Scanlon.
He noted that 123,000 children were treated in hospital emergency
rooms for toy-related injuries last year - mostly minor cuts and
bruises. But some accidents were fatal, including incidents of
children choking on small toys or parts, strangling on crib toys and
being run over by vehicles while riding tricycles and other toys.
Elaine Tyrrell, Safety Commission project manager for children's
products, stressed heeding the age label recommendations on toys.
Not all toys carry age labels, she said, but when they do, parents
should pay attention to them both for safety reasons and because they
can indicate a toy that the child will be interested in and able to
understand.
In addition, Tyrrell pointed out that toy balloons, either deflated
or broken, can easily strangle a youngster.
She also warned against crib toys on strings for certain children,
noting that when a child is able to crawl and push up on hands and
knees, it can easily get its neck tangled in a crib toy. ''Please
take (these toys) out of the crib, don't have your child strangle,''
she said.
The Safety Commission's event stressed general safety concerns and
was co-sponsored by the Toy Manufacturers of America, a trade group.
To help parents and other adults buying toys, the Safety Commission
has issued booklets with a variety of safety suggestions. These
include:
- Check for sturdy toy construction, and when buying soft toys make
sure the eyes, nose and other attached parts are secure.
- When buying for infants and toddlers, avoid items with small parts
they may put in their mouth or long strings which could get twisted
around the child's neck.
- Arrows or darts used by children should have soft cork tips,
rubber suction cups or other protective devices. Make sure these tips
are securely attached.
- Electric toys with heating elements should be given only to
children over age 8, and then only with adult supervision.
- Avoid toys that shoot or propel objects which could injure eyes.
For parents seeking more information on toy and child safety a
variety of books and pamphlets are available.
The Safety Commission has just published two booklets called ''Which
Toy for Which Child: A Consumer's Guide for Selecting Suitable
Toys.''
It comes in versions for ages birth through 5 and for ages 6 through
12, and can be obtained by calling the commission at 800-638-2772, or
writing the Office of the Secretary, Consumer Product Safety
Commission, Washington, D.C., 20207.
AP-NY-11-18-86 1414EST
- - - - - -
a214 1201 18 Nov 86
AM-Toys, Bjt, 1st ld, a207,0057
Eds: Subs 1st graf to restore AP logo
Government Renews Toy Safety Campaign
By RANDOLPH SCHMID
Associated Press Writer
WASHINGTON (AP) - Americans will spend more than $7 billion on toys
by Christmas, and Barbara Bush is urging that they make safety a
major concern in choosing those purchases.
''We need: 2nd graf
AP-NY-11-18-86 1457EST
***************
∂18-Nov-86 1631 JMC re: Przymusinski
To: VAL
[In reply to message rcvd 18-Nov-86 15:10-PT.]
I forgot what precise arrangement we discussed, if we did discuss a
precise arrangement. Anyway please send me a message with what you
propose. How long and what consulting fee.
∂18-Nov-86 1635 JMC
To: CLT
Tonight I will be at the
Stouffer Concourse Hotel, L.A. 213 216-5858
∂19-Nov-86 1904 JMC re: Przymusinski
To: VAL
[In reply to message rcvd 18-Nov-86 17:13-PT.]
That's fine. Keep Les informed - about anything that costs money. I
count on him to watch the money bags.
∂19-Nov-86 1905 JMC re: Seminar - Formalizing the Notion of Context (SU)
To: JCMA@AI.AI.MIT.EDU
[In reply to message sent Tue, 18 Nov 86 20:48 EST.]
There isn't yet, but I'll keep you on the list.
∂19-Nov-86 1906 JMC
To: RA
For a paper or notes on formalizing contexts when I have one.
John Mallery
Artificial Intelligence Laboratory, NE43-797
Massachusetts Institute of Technology
545 Technology Square
Cambridge, Massachusetts 02139
∂19-Nov-86 1908 JMC re: TV
To: FULLERTON@SIERRA.STANFORD.EDU, buchanan@SUMEX-AIM.STANFORD.EDU
[In reply to message from FULLERTON@Sierra.Stanford.EDU sent Tue 18 Nov 86 21:11:49-PST.]
They want me to go to Chicago to be videotaped. They haven't said no
to the $3K I propose to charge + expenses.
∂19-Nov-86 2118 JMC re: Workshop on High Levl Tools
To: Chandra%OSU-20@OHIO-STATE.ARPA
[In reply to message sent Wed 19 Nov 86 22:49:24-EST.]
I have no requirement beyond submitting the report for AI Magazine
which should be sent to Claudia. Ask her about any accounting
requirements. By the way I am the committee.
∂19-Nov-86 2120 JMC industry lecturers and visiting faculty for 1987-88
To: faculty@SCORE.STANFORD.EDU
It is time for the names of candidates for these positions.
∂20-Nov-86 1123 JMC re: industry lecturers and visiting faculty for 1987-88
To: WINOGRAD@CSLI.STANFORD.EDU
[In reply to message sent Thu 20 Nov 86 10:33:00-PST.]
I'm the right person to collect proposals. At present we have no other
proposal for visiting faculty. Nils will make the final decisions -
or rather he'll bring up the cases in a faculty meeting.
∂20-Nov-86 1600 JMC re: Przymusinski
To: VAL
[In reply to message rcvd 20-Nov-86 11:57-PT.]
dunno ask him again.
∂20-Nov-86 1904 JMC re: CSD Booklet
To: RICHARDSON@SCORE.STANFORD.EDU
[In reply to message sent Thu 20 Nov 86 14:03:23-PST.]
stet
∂20-Nov-86 1906 JMC re: industry lecturers and visiting faculty for 1987-88
To: WINOGRAD@CSLI.STANFORD.EDU
[In reply to message sent Thu 20 Nov 86 15:06:00-PST.]
For industry lecturers the deadline is about the beginning of January.
For visiting faculty, I suppose we should make our decisions by the
middle of December.
∂21-Nov-86 1328 JMC re: RT and ANDREW
To: AIR
[In reply to message rcvd 21-Nov-86 12:33-PT.]
I don't think so. You might ask Carolyn.
∂21-Nov-86 1503 JMC reference to chronological minimization
To: shoham@YALE.ARPA
I may need to use my syntactic formulation of chronological minimization
in a paper (in a very preliminary state). If what I use still turns out
to resemble chronological minimization when I get done tinkering with it I
would like to give you credit for the concept by referring to your
forthcoming thesis. I hope that's ok.
∂21-Nov-86 1800 JMC re: Gasoline with Ethanol -- is it a good thing or a bad thing?
To: SELIGMAN@SUSHI.STANFORD.EDU, su-etc@SUSHI.STANFORD.EDU
[In reply to message from SELIGMAN@Sushi.Stanford.EDU sent Fri 21 Nov 86 17:41:25-PST.]
So far as I know, the only issue should be price. It won't have
much ethanol, but ethanol contains somewhat less energy per gallon
than gasoline.
∂21-Nov-86 2145 JMC Lynch mob spirit
To: su-etc@SAIL.STANFORD.EDU
I see that the Academic Senate continues its lynch mob spirit.
a261 1806 21 Nov 86
AM-BRF--Reagan Library,0152
Stanford Faculty Seeks Limits on Reagan Library
STANFORD, Calif. (AP) - Stanford University's faculty senate has
passed a motion to curb activities at the planned Ronald Reagan
presidential library to keep it from becoming an extension of the
Hoover Institution as a conservative ''think tank.''
The resolution, passed overwhelmingly Thursday, called for the
faculty to play a significant role in deciding how the library is
used and urged it be limited to scholarly research of presidential
papers.
The measure reflected the belief of some faculty members that the
Hoover Institution in the center of the campus would try to extend
its influence by taking over control of the $30 million Reagan
library.
Officers of the Ronald Reagan Library Foundation, which is raising
money to build the library on a 20-acre site overlooking the main
campus, include Hoover Institution director W. Glenn Campbell,
Attorney General Edwin Meese, and former Reagan adviser William
Clark.
AP-NY-11-21-86 2103EST
***************
∂24-Nov-86 1517 JMC appointment
To: ceci@SUSHI.STANFORD.EDU
I'm away today and tomorrow. Please phone 3-4430 Wednesday
between 1:30 and 4.
∂25-Nov-86 0736 JMC
To: TOB@SAIL.STANFORD.EDU
Thanks for the references
∂25-Nov-86 0737 JMC
To: LES
It looks like we should talk to Amarel. See you tomorrow.
∂26-Nov-86 0851 JMC re: LOTS 10th Birthday Celebration
To: M.MRIZEK@LEAR.STANFORD.EDU
[In reply to message sent Wed 26 Nov 86 08:44:03-PST.]
The 23rd from 3-5 is fine with me.
∂26-Nov-86 1232 JMC re: AI Courses
To: RICHARDSON@SCORE.STANFORD.EDU
[In reply to message sent Wed 26 Nov 86 11:55:58-PST.]
According to present plans, I'll be here.
∂26-Nov-86 1258 JMC new Dahl proposal
To: aaai-office@SUMEX-AIM.STANFORD.EDU
I don't remember promising that we would give Dahl the unspent
money from the previous workshop, but I think she will run a
good workshop and is economical. Therefore, ask her to send
me a letter or net message with a proposal. Send her the
page about proposals. If you don't have it, I'll send it
to you again.
∂26-Nov-86 1301 JMC
To: AIR, CLT, LES
∂26-Nov-86 1139 rms@prep.ai.mit.edu
Received: from PREP.AI.MIT.EDU by SAIL.STANFORD.EDU with TCP; 26 Nov 86 11:39:35 PST
Received: by prep.ai.mit.edu; Wed, 26 Nov 86 14:02:29 EST
Date: Wed, 26 Nov 86 14:02:29 EST
From: rms@prep.ai.mit.edu (Richard M. Stallman)
Message-Id: <8611261902.AA00666@prep.ai.mit.edu>
To: jmc@su-ai.arpa
1. How is your project progressing? Did you decide to work with GNU Emacs?
2. What did the bureaucrats think of GNU?
I sent mail to someone (I forget who) who is working on a version of
GNU Emacs for editing Japanese. I suggested using the representation
I worked out for you, so that it would at the same time become able
to handle any other characters.
∂26-Nov-86 1309 JMC re: Mathilda R. Wilson Foundation
To: AAAI-OFFICE@SUMEX-AIM.STANFORD.EDU,
MCK%mit-oz@MC.LCS.MIT.EDU, Reddy@A.CS.CMU.EDU,
ai.woody@MCC.COM
[In reply to message from AAAI-OFFICE@SUMEX-AIM.ARPA sent Tue 25 Nov 86 13:59:01-PST.]
I feel that we have a bear by the tail on this one. It is not easy to
figure out how to spend a million a year on such proposals effectively.
My recommendation is to propose a that a single individual take charge
of the matter. I'm not willing to do it, and should say why.
I feel I have done a good job on workshop proposals
and have managed without a committee and couldn't manage with a
committee. However, I don't consider myself qualified for this
larger responsibility, because I don't keep up with enough different
fields of AI to evaluate theses and thesis drafts. If Newell or
Nilsson would undertake it, I would have confidence in the result.
Of course, there still remains the problem of presenting a coherent
proposal to the Foundation, and I'm willing to help with that.
∂26-Nov-86 1317 JMC
To: aaai-office@SUMEX-AIM.STANFORD.EDU
Workshops in AI sponsored by AAAI.
AAAI will sponsor workshops in particular areas of AI. So far more
than 10 have been sponsored. The format is not prescribed except that
this program does not sponsor large conferences.
Here are some policies.
1. Up to $10K can be approved per workshop.
2. No honoraria for speakers or overhead to institutions will be paid.
3. Proposals should be sent to
John McCarthy.
4. Electronic mail to JMC@SU-AI.STANFORD.EDU is preferred, but U.S.
mail to
Professor John McCarthy
Computer Science Department
Stanford, CA 94305
will also work. If you get impatient you can phone (415)723-4430.
5. Proposals should contain approximations to the following:
a. budget.
b. subject, detailed enough to evaluate relevance to AI
and possible overlap with other workshop proposals.
c. conditions of participation including how papers
and attendees are to be selected.
d. when and where if this is known.
6. Correspondence should be copied to AAAI-OFFICE@SUMEX.STANFORD.EDU
or to
Ms. Claudia Mazzetti, Executive Director
AAAI
445 Burgess St.
Menlo Park, CA 94025
You can phone her at (415)328-3123.
7. After McCarthy has approved the proposal further arrangements should
be made with Mazzetti at the AAAI office. This includes transfer of
money and possible help with publicity and workshop preprints and
publication.
8. After the workshop is finished there should be a report suitable
for publication in AI Magazine.
∂26-Nov-86 1342 JMC
To: RA
See givan.re1 for text of Givan NSF recommendation.
∂26-Nov-86 1353 JMC reply to message
To: rms@PREP.AI.MIT.EDU, AIR@SAIL.STANFORD.EDU, CLT@SAIL.STANFORD.EDU
[In reply to message sent Wed, 26 Nov 86 14:02:29 EST.]
We have the IBM support, but it isn't much. This support requires only a
demo at the end of what we have accomplished. Therefore, we have decided
to limit the project to the editor part including editor-based unix
commands. We have hired Arkady Rabinov (AIR@SAIL) to do what he can.
What is your best suggestion for getting in position to use the GNU Emacs
Lisp, given the lack of a manual for the Lisp part?
I don't remember what bureaucrats you are referring to, but we haven't
consulted any. For our present purposes we have no problem with the
GNU restrictions and will accept them if that's the way we want to go
for technical reasons.
∂26-Nov-86 1437 JMC Lynch mob spirit
To: su-etc@SAIL.STANFORD.EDU
All the comments on my posting indicate an ELIZA-like response to the key
phrase "Reagan Library". The story described the Faculty Senate's jealous
and hostile attitude toward the Hoover Institution not to Reagan or the
Library. The fear wasn't that the hillside would be desecrated
or Reagan honored but that Glen Campbell might get to influence the research
appointments the Reagan Library might make. Turf was the name of the
game. I still remember a former Chairman of the Senate's comment in
the Senate about a previous anti-Hoover Senate resolution. He said
he feared it "lacked oomph". Since the members of the Senate are, on
the whole, very intelligent people, it convinced me that the high
level of intelligent characteristic of Stanford faculty is insufficient
in itself to guarantee rationality. It can merely result in the
ability to find cleverer ways to rationalize positions adopted on
the basis of prejudice and tribal membership. Probably most readers
of BBOARD are not so clever. $5 for the best reason in 200 words or
less of why Hoover people giving advice to the Reagan administration
indicates unacceptable bias while the fact that the last Republican
in the Political Science Department retired several years ago is
not worthy of comment. My other observation is that intelligence is
not much of a barrier to the "madness of crowds", i.e. mass hysteria
(expressed in a genteel way). Members of a group will often go
along with extreme positions taken by the group that they would
not support as individuals.
∂26-Nov-86 2306 JMC aggry
To: su-etc@SAIL.STANFORD.EDU
Aggry,aggri. A word of unknown origin and meaning, applied to colored
and variegated glass beads of ancient manufacture, found buried in the
ground in Africa; they closely resemble the "glein neidyr" or adder
stone of the Britons.
∂28-Nov-86 1357 JMC re: Reagan Library
To: WINSLETT@SCORE.STANFORD.EDU
[In reply to message sent Fri 28 Nov 86 13:16:06-PST.]
As to the location, although I haven't examined either the location or
the activities of the library, it does seem that putting it near 280
might be better. The Academic Senate wasn't objecting to the library,
per se, it was trying to assert control of it so that Hoover people
wouldn't get it.
∂28-Nov-86 1552 JMC closest possible world
To: SJG
re p.5 of "Reasoning ... II"
Is the closest possible world of "If I move the bookcase to l ... " the
same as the closest possible world of "If the bookcase were at l ..."?
It might take quite a while to move the bookcase. It seems to me
that you are trying to get two things out of a notion that will
hardly support one.
∂28-Nov-86 1607 JMC re: closest possible world
To: SJG
[In reply to message rcvd 28-Nov-86 15:55-PT.]
Page 5, second to last paragraph, says "For example, imagine a robot were
considering moving a bookcase from one location to another. The expected
result would be the nearest world to the current one in which the bookcase
was at its new location." Nothing is said that distinguishes this
possible world from the one of the counterfactual. My opinion is that
you just shouldn't use nearest possible worlds for considering the
consequences of actions. If you insist on doing so, then your paper
should contain a qualification like that in your message.
Incidentally, it seems to me that your discussion doesn't squarely face
the point of the turd carrying bird example. The point is that the
qualification will never be considered, and the formalism must provide for
such qualifications never being considered.
∂28-Nov-86 1628 JMC re: closest possible world
To: SJG
[In reply to message rcvd 28-Nov-86 16:18-PT.]
In a certain sense, all the default formalisms are adequate for the
bird turd example, when suitably used by a program. We can imagine
that the program only takes certain facts into account, i.e. those
that have been retrieved as relevant from its database. Here, as
usual, an essential part of the behavior is built into the program,
rather than used in the form of sentences. It seems to me that
such relevance considerations will still be mainly used in the built-in form
even when there are also meta-language sentences dealing with
relevance. Thus if some pest brings up the bird turd qualification,
you have to use metalanguage to defend yourself even though your
original ignoring of the possibility didn't involve metalanguage.
The situation is analogous to the fact that modus ponens is built
into Achilles, although he let himself be suckered by the tortoise
into attempting to justify its use by a metalinguistic argument.
∂28-Nov-86 1631 JMC re: closest possible world
To: SJG
[In reply to message rcvd 28-Nov-86 16:18-PT.]
Also the copy you gave me doesn't have a page 31, and theorem 3.1
on page 20 doesn't seem relevant. Is the expansion important?
It is worthwhile making TEX print a date on drafts.
∂28-Nov-86 1811 JMC re: closest possible world
To: SJG
[In reply to message rcvd 28-Nov-86 16:37-PT.]
My version satisfies your description of the latest.
Here's a try at a more compelling class of examples. Suppose the only
action that will move the bookcase has major side-effects that will change
the world a lot. The counterfactual "if the bookcase were at l" will
normally refer to a world without these side-effects.
∂29-Nov-86 2043 JMC re: Thesis
To: YM@SAIL.STANFORD.EDU
[In reply to message rcvd 29-Nov-86 20:31-PT.]
That would be very nice.
∂30-Nov-86 1311 JMC re: Iran and the Contras
To: M.MCD@OTHELLO.STANFORD.EDU, su-etc@SAIL.STANFORD.EDU
[In reply to message sent Sun 30 Nov 86 12:25:38-PST.]
If the main goal was to save the Nicaraguan resistance, then at least
the goal makes sense even if the method was dubious. Rescuing the
hostages by bribing the Iranians makes little sense, and taking a
hand in the Iran-Iraq war seems to make even less.
∂30-Nov-86 1550 JMC trouble
To: action@LINDY.STANFORD.EDU
I got
Error: Trouble using port /dev/ttyj0
and also
Error: Trouble using port /dev/ttyj1
in trying to reach forsythe.
∂30-Nov-86 2039 JMC dial costs
To: LES
Is the phone line on DIAL costing us much? I notice Fred Lakin coming
in over the ARPAnet from SRI and going out on DIAL. Ideally accounting
would record the use of DIAL for later comparison with the phone bill.
∂01-Dec-86 0008 JMC re: AI DISC: DEADLINE
To: vijay@ERNIE.Berkeley.EDU
[In reply to message sent Sun, 9 Nov 86 12:34:38 PST.]
On the whole I'll stand pat on what I've already said. Probably we've
all already devoted more time to this controversy than a mere controversy,
as contrasted with a working group, is worth. I'll emphasize a few points.
1. I don't think I was more critical of John Searle than he of the
understanding of those he disagrees with.
2. I don't think Hofstadter has misunderstood Searle.
3. The Dreyfusses are betting a lot on connectionism, which may not
work out. The area of AI most likely to present a challenge to
connectionism and the Dreyfusses is something like chess. While
the Dreyfusses appeal to the intuitions of the grandmasters, they
don't mention or account for the actual style grandmasters use when
they write about chess or teach it. This style is analytical and
logical, and they appear to communicate successfully using it.
A more extreme example is provided by women's gymnastics,
the typical teacher of which is a middle aged man whose body isn't
and never was capable of the motions he teaches to teen age girls.
And yet champion performance by these teen age girls is strongly
dependent on this teaching. The gymnastics teacher seems to have
a great ability to verbalize the actions his students perform and
need to perform.
4. AI is difficult, and progress is slow, and I never said it
was otherwise. However, there is definite progress, and I cite
the recent advances in formalizing non-monotonic reasoning in
mathematical logic and applying it to expressing common sense
knowledge and reasoning. Unfortunately, none of our opponents
are willing to take the trouble to learn about it. I say
``unfortunately'', because if they did, they might come up
with some interesting and difficult problems, as did Drew McDermott
with the ``Yale shooting problem''.
∂01-Dec-86 2216 JMC re: 2 thoughts about contexts
To: GROSOF@SCORE.STANFORD.EDU
[In reply to message sent Mon 1 Dec 86 21:57:53-PST.]
I agree, perhaps entirely, with your message about contexts. The idea of
interpreting the data structures of certain states of certain existing
programs as abbreviated assertions is new to me, and I think it's worth
exploring.
∂01-Dec-86 2315 JMC for Frank Brown
To: "csdept@ukans"@RELAY.CS.NET
I plan to submit an abstract for the frame problem conference, but
I would like till next Monday if possible. The title will the
"The Frame Problem Today", and it will contain both historical
treatments and my current candidate using circumscription.
John McCarthy
∂02-Dec-86 1032 JMC re: Qlisp meeting reminder
To: CLT
[In reply to message rcvd 02-Dec-86 09:53-PT.]
How are the chances of finding another time than noon for the Qlisp
meeting? I seem to have a lunch appointment with Gorin and some people
from RPI this Friday. Otherwise I'm free this week except for Friday
morning, my classes and VAL's seminar Thurs. at 4.
∂02-Dec-86 1128 JMC re: Qlisp meeting reminder
To: CLT
[In reply to message rcvd 02-Dec-86 10:58-PT.]
I have had enough problems with Friday noons, that I'm inclined to
suggest a permanent change, say to Friday afternoons.
∂02-Dec-86 1130 JMC re: Qlisp meeting reminder
To: "@Q.DIS[1,CLT]"@SAIL.STANFORD.EDU
[In reply to message from CLT rcvd 02-Dec-86 09:53-PT.]
Is there a problem with making Friday's meeting in the afternoon,
say 2pm?
∂02-Dec-86 1134 JMC qlisp meeting
To: CLT
I phoned RPG's office. He's out of town. The meeting is not in
his calendar for any time. His secretary put it in his calendar
for 2pm. Of course, this doesn't mean he will come.
∂02-Dec-86 1544 JMC re: the context seminar
To: VAL
[In reply to message rcvd 02-Dec-86 14:47-PT.]
ok.
∂02-Dec-86 2048 JMC meeting about our proposal
To: amarel@A.ISI.EDU
CC: simpson@A.ISI.EDU, squires@A.ISI.EDU
I would like to phone to discuss our renewal proposal for AI
and possibly to arrange to visit to discuss it with one or two
of my colleagues. When would be a convenient time for me to
phone? You can also call me at (office 415 723-4430) or
(home: 415 857-0672). I'm often home till about 10am.
∂03-Dec-86 0755 JMC re: 45 degree bank level turns
To: W.WROTH@LEAR.STANFORD.EDU, su-etc@SAIL.STANFORD.EDU
[In reply to message from W.WROTH@LEAR.STANFORD.EDU sent Wed 3 Dec 86 07:34:24-PST.]
The formula you give for the inward component of the force is correct
exactly for all angles of bank, since it is just the usual formula
for centrifugal force expressed in engineering units. A 60 degree
bank gives a total acceleration on the occupants of 2g.
∂03-Dec-86 1258 JMC
To: RA
Send another copy of the letter to Varah about Bibel.
∂03-Dec-86 1347 JMC re: "America Bashing"
To: BOUSSE@SIERRA.STANFORD.EDU
[In reply to message sent Wed 3 Dec 86 10:18:50-PST.]
∂03-Dec-86 1409 JMC
To: CLT
202 694-5922
∂03-Dec-86 1416 JMC
To: CLT
202 694-5037
∂03-Dec-86 1527 JMC bug appreciation
To: su-etc@SAIL.STANFORD.EDU
"Because of a computer error" about 300 names were omitted from the
latest directory of the American Mathematical Society. We are informed
that a name will appear in the supplement rather than in the originally
printed directory provided
The last name begins with B.
The next consonant of the last name is the letter L.
The first letter of the first name is any letter from D-L, and some first
names beginning with either C or M.
Question (no prize): What kind of hardware, software, or operator bug
could it have been?
Off hand it seems that only a quite sophisticated program could make
such an error.
∂03-Dec-86 2143 JMC "America Bashing"
To: su-etc@SAIL.STANFORD.EDU
I think Andy was right to consider Roland's message "America bashing".
It wasn't a criticism of the fundamentalists but rather a criticism
of America because the fundamentalists seem powerful or perhaps because
they exist. As an atheist I regard the fundamentalists as peculiar, and
I am pleased that their prospects of getting governmental power are slim.
However, I don't dislike them and would make an alliance with them on
certain issues on which we might agree - for example, in deploring
the "America bashing" that I have read dominates some school textbooks
these days.
I also think that many attacks on them, including all that
I can recall having seen on BBOARD, represent mainly tribal prejudice.
It is on an even lower intellectual and moral level than many of the
fundamentalist attacks on "secular humanism". I say "even lower", because
the fundamentalists, because they consider themselves the underdogs,
often pay some attention to what the people they attack have actually
said, and this is more rare here. Of course, what they say among
themselves is probably also at the same cheerleading level of the
attacks on them on BBOARD. The intellectual community has its own
prejudices that go without saying, and people who have never argued
with people of different views are usually overoptimistic about how
silly the other side is and how easy it is to refute them.
Some of what the fundamentalists say suggests that if they had political
power they might abuse it. However, for example, I have never heard of
them opposing people doing paleontology, even though the subset of them
that are creationists disagree with its results. Nor have creationist
affected research except in minor fundamentalist colleges.
On the other hand, it seems to me that egalitarians have successfully
opposed research in human behavioral genetics. I'll bet it would take a
very brave assistant professor of biology or psychology to undertake such
research at Stanford today even though Terman's study of genius was based
at Stanford.
∂04-Dec-86 1120 JMC news story
To: su-etc@SAIL.STANFORD.EDU
I saw somewhere a news story about satellite dishes in Belize picking
up U.S. programs. I referred to the story in a discussion, but I can't
find the source. I would be grateful for any information about where
it may have appeared.
∂04-Dec-86 1127 JMC
To: RA
subrah.1
∂04-Dec-86 1129 JMC re: Przymusinski
To: VAL
[In reply to message rcvd 04-Dec-86 11:26-PT.]
ok, we'll do it.
∂04-Dec-86 1305 JMC paper
To: RA
Please get me a xerox of
a paper by Schorr and Waite
Communications of ACM, 1967, vol. 10, pp. 501-506.
The Math Library will have the journal.
∂04-Dec-86 2336 JMC re: Island dishes
To: ILAN@SCORE.STANFORD.EDU
[In reply to message sent Thu 4 Dec 86 23:21:00-PST.]
Thanks. The one I saw was quite recent.
∂04-Dec-86 2339 JMC re: Speling error in last message
To: ILAN@SCORE.STANFORD.EDU
[In reply to message sent Thu 4 Dec 86 23:22:03-PST.]
It shud also be satellite not sattelite.
∂04-Dec-86 2343 JMC re: news story
To: stevens@CASCADE.STANFORD.EDU
[In reply to message sent Thu, 4 Dec 86 12:32:28 PST.]
Thanks. Your message didn't say what request it was replying to,
but I assume it was my request for a reference to the article about
satellite dishes in Belize.
∂05-Dec-86 0940 JMC re: news story
To: cramer@Sun.COM
[In reply to message sent Fri, 5 Dec 86 09:09:26 PST.]
Thanks.
∂05-Dec-86 1121 JMC re: mcc invoice
To: RA
[In reply to message rcvd 05-Dec-86 11:12-PT.]
It's 2 days, Nov. 24 and 25.
∂05-Dec-86 1444 JMC Ellie Gray
To: RA
Should she telephone, tell her that I have reviewed the draft agreement,
and its terms are satisfactory. Please remind her that it is important
to fix the actual days as soon as possible.
∂05-Dec-86 1450 JMC expiration
To: amarel@A.ISI.EDU
CC: simpson@A.ISI.EDU, LES@SAIL.STANFORD.EDU
Les tells me that our present AI contract expires Jan 31, but there
is enough money to last another month - a bit longer if stretched,
but we would need a no-cost extension to do that. The Qlisp contract
is just getting started, and one two people can legitimately work
on that for a while. Perhaps another month is doable.
Sorry to be so close to the wire.
∂05-Dec-86 1543 JMC
To: RA
allen.1
∂06-Dec-86 0106 JMC note to Bob McGinn at VTSS
To: RA
The article about satellite dishes in Belize is in the December 8
issue of New Republic.
∂06-Dec-86 2028 JMC babies
To: minsky@AI.AI.MIT.EDU
Observation of Timothy convinces me that babies develop many subroutines
before they develop the ability to control their constituents, and
I imagine this should complicate the demon picture in your book.
For example, Timothy's early manipulation of light switches involved
persistently trying to pick them up and only accidentally turned
the light on or off.
∂07-Dec-86 1810 JMC re: students and EKL
To: GLB
[In reply to message rcvd 07-Dec-86 18:00-PT.]
Good. I'm sure your help made the difference.
∂08-Dec-86 0237 JMC
To: GLB
Thanks for the question. I may use it.
∂08-Dec-86 1118 JMC re: 1986 Expenses
To: AI.ELLIE@MCC.COM
CC: ai.scullion@MCC.COM, ai.buchberger@MCC.COM
[In reply to message from AI.ELLIE@MCC.COM sent Mon 8 Dec 86 11:38:15-CST.]
All bills have been submitted, though the last may still be in the mail.
Since I have documented expenses to MCC and don't have the original records,
let me request that the 1099 form show only the consulting payments
and not the expenses. Last year it included the expenses, but fortunately
the IRS didn't question them. I was told that it was too late to
change last year's 1099, but it would be done showing only the consulting
payments this year. This note is just a reminder.
∂08-Dec-86 1330 JMC exam
To: hsu@SCORE.STANFORD.EDU
It is ready as final.f86[f86,jmc] on SAIL. There are six problems.
If you don't know how to use SAIL, I guess you can FTP the file
to SCORE. If you can but texisms in suitable for TV-land you
might as well do so, but the file is printable as is - on SAIL.
Rutie or Gian-Luigi can help you.
∂08-Dec-86 1335 JMC exam
To: hsu@SCORE.STANFORD.EDU
I'm having Rutie do a TEX version. The original file uses the SAIL
symbol for forall in Gian-Luigi's problem, and that would have
to be changed for network transmission.
∂08-Dec-86 1533 JMC
To: RA
binfor.re3
∂09-Dec-86 1235 JMC Binford letter
To: RA
Make a copy of one of them for Nilsson and Professor Robert Cannon
of Aero and Astro and include the list of addressees and comparees.
You got it exactly right as to whose first names I use in salutations.
∂09-Dec-86 1255 JMC
To: VAL
See textua[f86,jmc] for what I said.
∂09-Dec-86 1431 JMC
To: nilsson@SCORE.STANFORD.EDU, cannon@SIERRA.STANFORD.EDU
CC: TOB@SAIL.STANFORD.EDU
Binford letters have been sent.
∂09-Dec-86 2202 JMC Fredkin address
To: DKE
Earthwatch
∂AIL Earthwatch↓Box 127↓Belmont, Mass. 02178∞
Edozien, Joseph 494-4352, student from St. Johns, paper on Godel
Efron, Brad 7-2206, 328-4970
Eliashberg, Victor Varian, works on brain models
Ellenby 1030 Harker Ave. P.A. 94301, 328-6082, 494-4458
Eller, David 327-2143, 1982 mar, bright kids
764 Live Oak, Menlo Park 94025
Ellis, Clarence (Skip) Xerox, 494-5841,ellis.pa@xerox
Encore Gordon Bell, 617 237-1022, Pittsburgh, (412)361 8600
15 Walnut ST. Wellesley Hills 02181
Encounter
∂AIL Encounter↓59 St. Martin's Lane↓London WC2N 4JS↓England∞
Endicott House M.I.T. 617 326-5151
Engelberger, Joseph F. (office: 203 246-8142) Technology Transitions Inc.
One State Street, Suite 1950, Hartford, Connecticut 06103
Etherington, David 604 733-6839
FAA fast file 326-5791
Fagin, Ronald 408 256 7335, Manager, Foundations of Computer Science
"fagin.ibm-sj"@csnet-relay
IBM Research Division
5600 Cottle Road
San Jose, CA 95193
Fateman, Richard (office and home: 642-1879)
Energy 497-3237, Marian Rees, At end of Panama below Old Union
Engelman, Carl 617 271-2805 office, 864-7739 home
Erbring
∂CSL Professor Lutz W. Erbring↓↓University of Chicago↓Chicago IL∞
3l2 753 ll28, 312 753-1357
account 1,lwe, see e80.in, wants to try NS, e80
Evers, Bill Inquiry Magazine, 747 Front St., San Francisco, CA 94111
326-1624
EPRI 855-2000
Faculty Club 7-4325
Fairchild
∂CSL Fairchild Central Research and Development↓4001 Miranda Ave
↓MS 30-888↓Palo Alto, CA 94304∞
493-7250
Harry Barrow?
Dick Duda?
Marty Tenenbaum?
perception (vision), expert systems, planning and deduction,
fundamental issues in knowledge representation, ai computing and vlsi
Farinas del Cerro, Dr. Luis CNRS(LISH) Tel (6l) 40 60 09
Universite de Toulouse de Mirail
l09, rue Vauquelin
31058 Toulouse Cedex
Feferman, Sol 7-2439, 857-0323
Feigenbaum 493-5618, 1017 Cathcart, 669-1236, 7-4878
Feldman, J. (716) 275-5671 office, home 271-6907, 442-1087
327-6218, 2712 Cowper
Fenaughty 213 279 2612
Fernbach, Sid 415 443-1300, CDC Livermore
Feynman 2475 Boulder, Altadena
Fikes, Richard 853-5557 (1984 july)
Filotti, Ion Mathematical Statistics, Columbia University N.Y.,N.Y. 10027
home 212 866-6711, office 280-3052, messages 280-3653
Filman, Bob (work: 965-5706 Intellicorp) (home: 321-8624) 1986 Nov
Fine, Boris 524-9987
Finkelstein, Leonid V. Radio Liberty, 76, Oxford St. London W1, 636-0861
or 580-6801, home 965-4311
Firdman
∂AIL Dr. Henry R. Firdman
Mytninskaya St., 31-3
Leningrad,193144
his friend Iosif Zaretsky, (215)725-3549 after 9:30pm or after 10 T&T
Fisher, Fritz, Kingscote Gardens, 586 Lomita Dr., Stanford
328-8571, work at Advanced Electronic Devices, 408 733-3555
Floyd, Bob 7-2274,493-5195
Foglman, Francoise 328-7828
4 rue Pinel, 75 013, Paris,
(home: 585 76 98) (office: 634 36 20)
Foo Loo Soo 377-4830
Foonly 969-7815
160 S. Whisman, Mountain View 94041
Fordham, Lawrence Fordham&Starrett, 617 439-0300
260 Franklin Street, Boston, Mass. 02110
Forester, Amasa Richland, Washington, 942-2492 (506)
Rockwell-Hanford
Fox, John 15 West 43rd St., New York, N.Y. 10036
Foyle Book Store 119 Charing Cross Road, 437-5660
Franklin 4837, 324-8438
Franz
Franz Termite Control Corp.↓230 California Ave #110↓Palo Alto, CA 94306∞
Franz Judas, 328-0590
Fredkin 566-4529,,253-5904, island Roadtown, Portola 42254
Fredkin Enterprises (617) 426 3632
sister (Entz) in Phoenix (602) 277-0497
166 Hyslop St., Brookline, Mass. 02146, 277-4444
3 rivers comp. corp. 160 n craig st. 15213, 412 621-6250
M.I.T. 253-5904
(809)494-2254
Freedom House 212 473-9691, 48 East 21st St. NY 10010, 1985 nov
Fresco 493-3470
Friedl, Paul 855-3113
Friedlander, Erwin 524-4323 home, 486-8740 office
486-4870
996 Cragmont Berkeley, 1983 jan
Friedman, Daniel 812 337-4885
Fromkin, Vicki (office: 825-4383) (home: 654-2714)
UCLA
1237 Murphy Hall
Los Angeles, CA 90024
Frost, Martin 3065 Louis Road ⊗ Palo Alto, CA 94303, 856-1456
Fuchi, Kazuhiro ICOT, Director Rsearch Center
Institute for New Generation Computer Technology
Mita-Kokusai-Building 21FL.
1-4-28. Mita. Minato-ku, Tokyo
108 Japan
phone 456-3191
telex ICOT J 32964, 1983 March
Furukawa, Dr. Koichi, Chief, Second Research Lab., Research Center
Institute for New Generation Computer Technology (ICOT)
Mita Kokusai Bldg, 21F
4-28, Mita 1-chome, Minato-ku
Tokyo 108, JAPAN
tel. (03)456-3193 ext.71, tlx. 32964 ICOT J ,1983FE
Future Fantasy Science Fiction m-f 11-9 sat 11-5,sun 12-5,
327-9242, 2033 El Camino Real, Palo Alto 94306
Gabriel, Richard (Home: 854-3106)
Gaffney, Devon Smith-Richardson Foundation
210 E. 86th, NY 10028
Gaillard, Michelle 268-1100, (home: 380-8976)
(office: 268-1887)
Gal, Mordecai (212) 825-1540 emigre film maker, came with Mrs. Shcharansky
Galileo Magazine 339 Newbury St.↓Boston MA 02115∞
Galler, Bernard "Bernard←Galler%UMich-MTS.Mailnet"@MIT-MULTICS.ARPA
Garland Publishing, Inc
136 Madison Ave.
New York, New York 10016 tel: 212 - 686 7492
(outstanding dissertations in computer science)
Gavin Bordon, president; Bill Stoneman, Dissertations Editor - as of 7/81
Garbet, Rebecca 916 756-3437
Garwin, Richard 919 945-2555
Genesereth, Mike 497-0324, 322-4707
Georgelin, Jean l8, Chemin du Vallon de l'Oriol, 13007 Marseille
Tel. (16-91) 52 85.13 Expert on Population
Gerrold
∂AIL David Gerrold↓Box 526↓Hollywood CA 90028∞
(213)885-9047 8939 Canby Ave, North Ridge CA
Gerson, Elihu M Pragmatica Systems Inc., 458 29th St. SF 94131, 285-7837
Lindley Darden's tea, Spencer-Huxley reference
Gieringer, Dale EES Dept. (497-3952) FATEARS
Giesbert, Francois 202 966 1804, Nouvel Observateur columnist
Gill
∂AIL Dr. Aharon Gill↓P.O. Box 2250↓Haifa↓ISRAEL∞
Gilliam, Harold S.F. Chronicle, 579-4122 reporter, 1982 Jan
Gilmore, Dr. Paul, U. of British Columbia, 2075 Wesbrook Mall
Vancouver, B.C., Canada V6T1W5
Ginsberg, Matthew 3233 Bryant St., just S. of Loma Verde
Givan, Bob Room 402 (office 723-3605) (home: 853-9677) 1986 summer
Glasses 1986 June 16
distance r.e. -1.25 + 0.75 x 95
l.e. -2.00 +0.75 x 65
reading r.e. +2.50
l.e. +2.50
Gocking, Roger 326-4519, 558A Forest Ave.
Goad,Chris (home: 857-9674) (New Mexico: 505-455-2464) (sil: 493-0145)
Silma
Goguen, Joe (home: 326-6832) (office: 859-5454)
Goldberg, Adelle 494-4385
Goldberg, Pat (914) 945-2136
Goldstick, Gary iii business consultant 1981, 641-8520 icc,374-6249 home
670-0125 office, Goldstick and Schreiber consultants, L.A.
Golub, Gene 7-9745
Goodwin, Jim "enea!liuida!liuida!jwg"@seismo.CSS.GOV
Linkoping University, Sweden
Gorin(Boston) 617 332-9794, at Jacks
Gosper, Bill (symbolics secret: 494-9081),rwg@scrc-yukon
rwg%RUSSIAN.SPA.Symbolics.COM@SCRC-YUKON.ARPA
rwg@mc,rwg@SCRC-STONY-BROOK.ARPA
Goto
Shigeki Goto
Research Div. Musashino Electrical Communication Lab.
3-9-11, Midori-cho, Musashino-shi, Tokyo 180, Japan
Gould, Laura 376-2608,212 Sheila Ct., Moraga, CA 94556
Gould,John (914)945-2237, 2629 lab
Gouilloud, Michel 212 350-8125, (local: 858-6100) Schlumberger
also Jean Babaud, v.p. Schlumberger Ltd.
42, rue Saint Dominique, 75007 Paris
555.91.23
Gozani;
Dr. Tsahi Gozani
Corporate Chief Scientist
Science Applications Inc.
5 Palo Alto Square, Suite 200
Palo Alto, CA 94304
493-4326;
Graevenitz, Alex von
∂AIL Prof. A. von Graevenitz
↓Institut f%C:%1ur med. Mikrobiologie der Universit%C:%1at Z%C:%1urich
↓Gloriastrasse 32/Postfach↓CH-8028 Z%C:%1urich↓SWITZERLAND∞
Grafton, Robert B. Computer Scientist, Office of Naval Research, code 437
800 N. Quincy St., Arlington, VA 22217
Grant
Mr. Robert Grant
Ware, Fletcher and Freidenrich
525 University Ave, Palo Alto
328-6561
Gravier, Pierre GRAVIER@CMU-CS-C and PG03@CMU-CS-B
Gray,Jim 334 Arthur, Aptos, CA 95003,(408)688-7817
Gray, Peter New York Times, NYT delivery 327-1144
Green 497-2780
Green, Cordell 493-6871, GREEN%KESTREL
Kestrel Institute
1801 Page Mill Road
Palo Alto, CA 94304
Greenstadt, John 855-3130, IBM will be industrial lecturer, Spring 84
Greep 723-2014, greep@camelot
Gregory
∂AIL Prof. Richard Gregory↓Brain and Perception Laboratory↓The Medical School
↓University Walk↓University of Bristol↓Bristol, BS8 1TD, England∞
Bristol (0272) 24161
Greenberger, Martin, 336 F Street N.E., Washington D,C., 20002
Griffiths, Michael (office: 33(91)71-17-89)(home: 011 33 91 26.76.58)
(alps: 92 23 01 21)
LISH, CNRS
31 chemin Joseph Aiguier
13009 Marseille
Grosof, Ben 424-8078
Gross, Steve Digital Systems, home 328-2154, work 7-0491
Gruener
∂AIL Mr. Bill Gruener↓Addison-Wesley Publishing Co.
↓Reading, MA 01867∞
617 944-3700
Gunkel, Pat 914 762-0611, 0700 general number
762-0702 for a while
c/o Prof. Robert Clark, Rm G-407, Harvard Law School
Cambridge, MA 02138
(6l7) 492-5021 - as of 6/20/82 and 6/21/83
Gunther Barbara and Jerry, 4477 and 857-0231
Gunther, Susan and Dan (h: 214 595-6036) (w: 597-9387)
Susan McCarthy, 230 S. Fannin Avenue, Tyler Texas 75702
(old: 408 293-7498)
(old: 475 S. 12th St., San Jose, CA 95112)
C.D.L. N958292
(older: 848-0898, 2312A Prince St. Berkeley 94705)
(older: 366-0221 home, 497-7149 work, old 848-0898)
Gurevich, Yuri (o:313 763 4526)(h:971-2652)(n:"yg%eecs.umich.csnet"@CSNET-RELAY)
Yuri←Gurevich%UMich-MTS.Mailnet@MIT-MULTICS.ARPA
Electrical Engineering and Computer Science Dept.
University of Michigan
Ann Arbor, Michigan 48109 1109
Guzman, Adolfo 1981 Oct.
Dr. Adolfo Guzman, IIMAS-UNAM
Apdo. 20-726.
Admon. 20 Deleg. Alv. Obregon
01000 Mexico, D.F. MEXICO
(905) 550 5585 or 550 5215, ext. 4584 or 548 3360
MEXICO
sabbatical at MCC starting March 1986
Hagen, Cathy June 15095 Garden Hill Drive, 358-1608, 374-1796
Halaby, Tony+David+Ramsey Custom Woodworks, 593-2215
Halbrecht, Herbert Halbrecht Associates, 1200 Summer St.,Stamford,CT 06905
203 327-5630
Daryl J. Furno (associate)
Hall, Diana former secretary 493657, 328-0920
Hangglider 353-2926
Halpern, Joe IBM, (office: 408 927-1787), "halpern.ibm-sj"@csnet-relay
(home: 408 255-3372)
Dept. K53/801,IBM Almaden Research Center,650 Harry Rd.
San Jose, CA 95120-6099
Hansson, Bert Executech, 247-6702, 248-7613
Hardeman, Beau OR graduate student, would like to work on chess program
X4294 at SRI
Harnad
∂AIL Dr. Stevan Harnad↓%2The Behavioral and Brain Sciences↓P.O. Box 777
↓Princeton, New Jersey 08540∞
95030
(609) 921-7771, BBS
Hart, Peter Syntelligence, 1000 Hamlin Court, P.O. Box 3620, 408 745-6666
Sunnyvale, CA 94088,
Harte, Mike 846-8444
Hartman
∂AIL Norman E. Hartman↓14170 SW 93rd Ave.↓Tigard, Oregon 97223∞
(503)639-6758
Haugeland
∂AIL Professor John Haugeland↓Department of Philosophy↓University of Pittsburgh
↓Pittsburgh, Pennsylvania∞ 15261
(412)624-4141 x5787∞
Hawkins, Sharon 914 945-1464, IBM secretary to Pat Goldberg
Haugeland
∂AIL Professor John Haugeland↓Department of Philosophy
↓University of Pittsburgh↓Pittsburgh, PA 15260∞
(412) 624-5773
↓1005 Winterton Street↓Pittsburgh, PA 15206∞
(412) 661-9196
Hayden, Lee 1101 Johnson, Menlo Park
Hayes, Brian Scientific American editor, 1983 March
Hayes, Patrick phayes@sri-kl,(office: 496-4631),855-9043
Schlumberger Palo Alto Research
3340 Hillview, Palo Alto 94304
Hayman, Ann (The Rev. Annie) 818-708-7234
7208 Enfield, Reseda CA. 91335
(Ann 5 May)
Head, Tom and Eileen Computer Science, U. of Alaska, but to NSF
Hearn off 801 581-8224,581-8502, 582-9218 home,hearn%ecl
Heller, Dean CMU LOTS 412 621-2600 x188
Helliwell, Dick RPH 303-594-2009 or 303-495-4954. Or
Henson, Carolyn
∂AIL Mrs. Carolyn Henson↓1134 East lester↓Tucson, AZ 85719∞
602 622-5253
Hendrix, Gary Symantec, 306 Potrero Ave, Sunnyvale CA 94086,
telephone 408-737-7949 x224.
Heritage Foundation, 513 C Street, N.E. Washington, D.C. 20002
202 546-4400
Edwin J. Feulner, Jr., President
Herriot 74381
Hertz 800 654-3131, 158851, still 1986 jan, P.A. 493-2009
Herzenberg 857-1838,7-5054, not hertzenberg
Hewlett-Packard computer 857-8645
Hieronymus, Jim (NBS: 301 921-3427, 1984 mar) (home?: 301 977-7295)
Higgins, Dave 617 481-9511 x6578
Hileman,Alvin periodontist, 322-2107, 625 menlo ave, sec'y home, 323-2672
city phone 397-6484
Hilts, Phil 5761 Harwich Ct. Alexandria VA 22311, 703 751-8990, 379-9520 home
Phone, 9/7/82: 301 365 2407→493-6494 and 202 334 7437
Hirsch, Dorothy 212 229-0475 home, (Committee of Concerned Scientists)
Hobbs, Jerry 859-2229
Hoffman, Michael 324-8360, dentist recommended by Waltuch
668 Homer, go to Middlefield and back
Hofstadter, Doug (time: (1983 Mar) (∧ (home: 812 332-2210)
(office: 812 335-4829)
(department: 812 335-6486)))
Holden 206 543-2054, 543-2150 for message, 232-1252 home
Holdren,John 642-1139, U.C. professor who favors slowing down energy
Holeden
∂AIL Mr. Gean Holeden↓Editorial Systems Engineer↓%2Los Angeles Times%1
LA 90052, CA∞
(213) 625 2345 x1717
Holiday Inn 328-2800
Honig
∂AIL Prof. William Honig↓%2Speculations in Science and Technology%1↓
Western Australia Institute of Technology↓
Horber, Francis Lerchenberg 1, 8046, Zurich
Brain Research Institute
Zurich University
August Forel Str. 1
8029 Zurich
Horn
∂AIL Mr. Jack C. Horn↓News Editor↓%2Psychology Today%1
↓One Prk Avenue↓New York, N.Y. 10016∞
Pat Horne, 202 833-5553, managing editor
Douglas Gasner, 212 481-0200, editor
Alfred Meyer, 202 955-7600
Horn, Berthold Dept. of Electrical Engineering
and Computer Science
M.I.T.
Cambridge MA 02139
Howard, Forrest howard⊗harv-10,734-2532 ,313 Tappan St. Brookline 02146
Chuck Prenner,Tim Standish, Irvine,Tom Cheatham
Howard, Norman (home: 322-7527) (office: 408 286-6560) (1984 feb)
70 Edge, Atherton
HP-65 serial 1333a 07730, arrived June 19, 1974
Hsi Nan 326-6065
University creamery 323-7451, Louis Kao 494-2866
Hook, Sidney 3-1501, 327-7860
(east coast may 84: 212 989-3308 or 391 2396)
Huang, Cheng-ching, Professor, Tatung Inst. of Technology
40 Chung-shan North Rd. Sec 3
Taipei, Taiwan 104, ROC
Tel. (02) 592-5252 ext. 2430 ,1983FE
Hubbard, Barbara Marx, 2325 Porter St. NW, Washington, D.C. 20008
202 966 8776
Huffman 429-2476 office 423-1829 home
Hughes, Arthur 212 243-4379, 308 W. Fourth Street
Hu Nan-Sheng Chinese Embassy Cultural Section, (202)797-1166
Hurd
∂AIL Dr. Cuthbert Hurd↓332 Westridge Drive.↓Portola Valley, CA 94025∞
854-1901 home, 854-1900 business, (home: 854-3124)
Hurricane 900 410 6622, June 1 - Nov.30 Hurricane hot line
Hurwitz, Jr., Henry General Electric Co., Research and Development Center,
P. O. Box 8, Schenectady, New York 12301
Hyde, Rod 422-7289
Fredkin has no electronic mail address that he monitors. He
has a broken leg now and will be found at home in Brookline.
Fredkin Enterprises (617) 426 3632
166 Hyslop St., Brookline, Mass. 02146, 617 277-4444
∂09-Dec-86 2205 JMC Fredkin address
To: DKE
I think I may have bungled the previous mail command. Anyway Fredkin
has a broken leg now and will be found at the Brookline address and
number. He has no electronic mail address.
Fredkin Enterprises (617) 426 3632
166 Hyslop St., Brookline, Mass. 02146, 617 277-4444
∂09-Dec-86 2220 JMC NEXT MONDAY'S PLANLUNCH -- Richard Waldinger
To: CLT
∂09-Dec-86 1740 @SRI-WARBUCKS.ARPA,@sri-venice.ARPA:lansky@sri-venice NEXT MONDAY'S PLANLUNCH -- Richard Waldinger
Received: from SRI-WARBUCKS.ARPA by SAIL.STANFORD.EDU with TCP; 9 Dec 86 17:37:58 PST
Received: from sri-venice.ARPA by SRI-WARBUCKS.ARPA via SMTP with TCP;
Tue, 9 Dec 86 17:30:47-PST
Received: by sri-venice.ARPA (1.1/SMI-2.0) id AA04169; Tue,
9 Dec 86 17:35:17 PST
Date: Tue 9 Dec 86 17:35:12-PST
From: Amy Lansky <LANSKY@SRI-VENICE.ARPA>
Subject: NEXT MONDAY'S PLANLUNCH -- Richard Waldinger
To: planlunch@SRI-WARBUCKS.ARPA
Message-Id: <SUN-MM(195)+TOPSLIB(124) 9-Dec-86 17:35:12.SRI-VENICE.ARPA>
VISITORS: Please arrive 5 minutes early so that you can be escorted up
from the E-building receptionist's desk. Thanks!
------------------------------------------------------------------------
THEORY OF IMPERATIVE LISP
Richard Waldinger (WALDINGER@SRI-AI)
Artificial Intelligence Center, SRI International
11:00 AM, MONDAY, December 15
SRI International, Building E, Room EJ228
Imperative LISP is LISP with destructive operations, such as rplaca
and setq, which can alter data structures. We present a theory, based
on situational logic, intended for the specification and automatic
synthesis of imperative LISP programs. Hand derivations of programs
for destructive reverse and append have been conducted within this
theory.
-------
∂10-Dec-86 1016 JMC re: procedural question
To: RA
[In reply to message rcvd 10-Dec-86 09:14-PT.]
Certainly.
∂10-Dec-86 1020 JMC reply to message
To: KE425%RPICICGE.BITNET@WISCVM.WISC.EDU
[In reply to message sent 10 December 86 06:46-EST.]
I will be available briefly. You might wish to attend a seminar in
which I will discuss approximate theories on Dec 11. The seminar
is a 4pm. On the whole, it seems to me that we won't have a lot
to discuss, because while you have read what Dreyfus and Winograd
and Searle have said about AI, you don't seem to have read the
actual AI work that applies logic. For this reason a discussion
won't be very concrete. Perhaps you have read the AI work but
just didn't mention it.
∂10-Dec-86 1202 JMC Preserving information
To: physicslib@SIERRA.STANFORD.EDU
Thanks for the article from Current Contents. Now that I have had
time to think about the matter I have reached what I hope is a thoughtful
conclusion. This conclusion is that the recommendation by the National
Research Council is narrow-minded to the point of stupidity, especially
if, as I understand from what you said, it involves converting to
paper information currently in computer readable media and making
the paper the primary archival medium.
If materials are archived on any of the current magnetic media with the
understanding that they will have to be copied again in 20 years, it can
be done in a way that will make any subsequent copying routine. I don't
believe they have correctly computed the cost of recopying, and I have
some doubt that they have bothered to computed it at all. It requires
only giving the material a logical format that is independent of the
physical format, and this is a matter that has already been studied and
the problem solved.
It will require some work to devise the formats, and an organization
will probably have to be created, since if such an organization already
existed, the NRC would probably not have reached the conclusions they
did.
As far as Stanford is concerned, I believe that it is not too much
work to devise logical and physical formats for Stanford use
regardless of what is or is not done nationally. In order to
offer some encouragement to this, I will urge the Computer Science
Department make the recommendation that material in electronic
form be made available to the Stanford Archives only if the
Archives plan to keep it available in electronic form. This will
be my own policy.
If you could track down for me the actual report of the National
Research Council on the subject, I will examine it to see if it
is as narrow-minded as the Monitor article makes it seem.
∂10-Dec-86 1232 JMC Abstract
To: VAL
Concepts Defined via Approximate Theories
Some important concepts for AI including "it can", "it believes" and
counterfactuals may be precisely definable in theories that approximate
reality in a generalized sense. Useful approximate theories of action are
typically non-deterministic even when they approximate deterministic
systems. The concepts are useful to the extent that the approximate
theory answers questions about the real world, but they often become
imprecise when attempts are made to define them directly in real world
terms. The lecture will discuss the sense of approximation, give
some examples, and make connections with the previous discussion of
contexts. Some of the material is discussed in my paper "Ascribing
Mental Qualities to Machines".
∂10-Dec-86 1439 JMC
To: nilsson@SCORE.STANFORD.EDU
Nils:
The following is the only proposal for visiting faculty,
apart from industry lecturers, that I have received so far. Terry
expects to interact with Nygaard and so does Dave Unger in CSL.
Nygaard is one of the inventors of Simula, and we haven't had
anyone with that point of view which originated object-oriented
programming. Therefore, I suggest that you negotiate with him
with the aid of co-ordinates to be supplied by Terry.
∂20-Nov-86 1034 WINOGRAD@CSLI.STANFORD.EDU Re: industry lecturers and visiting faculty for 1987-88
Received: from CSLI.STANFORD.EDU by SAIL.STANFORD.EDU with TCP; 20 Nov 86 10:34:43 PST
Date: Thu 20 Nov 86 10:33:00-PST
From: Terry Winograd <WINOGRAD@CSLI.STANFORD.EDU>
Subject: Re: industry lecturers and visiting faculty for 1987-88
To: JMC@SAIL.STANFORD.EDU
Cc: Winograd@CSLI.STANFORD.EDU
I have been discussing with Nils the possibility of having Kristen
Nygaard here for one quarter during the 77-78 year. He would teach a
course on object-oriented programming, focussing on his current work on
the Beta language. He would need one quarter's worth of regular faculty
salary support. Are you the right person to negotiate with about this
possibility? --t
∂10-Dec-86 1541 JMC re: CS 306 final
To: RA
[In reply to message rcvd 10-Dec-86 15:32-PT.]
Yes, it will. Please inform Yung-jen.
∂10-Dec-86 1652 JMC overcoming stupidity
To: LES
Henry Lowood, the Physics Librarian was after me to make my files
available to the Stanford Archives. However, his ideas of keeping
it available was to print it. This doctrine is based on the reasoning
below which seems "narrow-minded to the point of stupidity" as I say
below. Lowood's last message, also reproduced below, appeals for help
in devising a suitable format. Besides thinking about format, we
need to do some arithmetic concerning the cost of copying the information.
excerpt from Christian Science Monitor
Preserving information: Put It On Paper
... ``In a report to the Natl. Archives released [in late August], experts
found that laser discs, semiconductor chips, and magnetic computer tape all
have basic flaws and are unsuitable to store the information on historic
documents. The best way to preserve these priceless treasures, the panelists say,
is on special paper. The experts assembles by the Natl. Research Council
recommended that the federal government begin using better paper for important
documents to head off future preservation problems ... Today's [high-tech]
equipment isn't expected to stay in service for more than 10 to 20 years.
According to the report, two conclusions can be drawn: `first, the recording
media may well outlast the hardware; and second, it will become necessary
to recopy the tape record every 10 to 20 years on an ever changing, probably
incompatible, new machine with a new format.' For the Natl. Archives--with
over 3 billion items to store--and other libraries and private holdings, the
notion of converting all their historical data five or six times a century
would bust their budgets. The scientific panel did say, however, that high-tech
applications may make sense for small holdings, or for information that is
needed quickly or used often,''
Donald L. Rheem in Christian Science
Monitor 22 Aug 86, p. 3-4
∂10-Dec-86 1202 JMC Preserving information
To: physicslib@SIERRA.STANFORD.EDU
Thanks for the article from Current Contents. Now that I have had
time to think about the matter I have reached what I hope is a thoughtful
conclusion. This conclusion is that the recommendation by the National
Research Council is narrow-minded to the point of stupidity, especially
if, as I understand from what you said, it involves converting to
paper information currently in computer readable media and making
the paper the primary archival medium.
If materials are archived on any of the current magnetic media with the
understanding that they will have to be copied again in 20 years, it can
be done in a way that will make any subsequent copying routine. I don't
believe they have correctly computed the cost of recopying, and I have
some doubt that they have bothered to computed it at all. It requires
only giving the material a logical format that is independent of the
physical format, and this is a matter that has already been studied and
the problem solved.
It will require some work to devise the formats, and an organization
will probably have to be created, since if such an organization already
existed, the NRC would probably not have reached the conclusions they
did.
As far as Stanford is concerned, I believe that it is not too much
work to devise logical and physical formats for Stanford use
regardless of what is or is not done nationally. In order to
offer some encouragement to this, I will urge the Computer Science
Department make the recommendation that material in electronic
form be made available to the Stanford Archives only if the
Archives plan to keep it available in electronic form. This will
be my own policy.
If you could track down for me the actual report of the National
Research Council on the subject, I will examine it to see if it
is as narrow-minded as the Monitor article makes it seem.
∂10-Dec-86 1640 PHYSICSLIB@Sierra.Stanford.EDU Re: Preserving information
Received: from SIERRA.STANFORD.EDU by SAIL.STANFORD.EDU with TCP; 10 Dec 86 16:39:55 PST
Date: Wed 10 Dec 86 16:35:34-PST
From: Henry E. Lowood <PHYSICSLIB@Sierra.Stanford.EDU>
Subject: Re: Preserving information
To: JMC@Sail.Stanford.EDU
In-Reply-To: Message from "John McCarthy <JMC@SAIL.STANFORD.EDU>" of Wed 10 Dec 86 12:02:00-PST
Message-ID: <12261792075.34.PHYSICSLIB@Sierra.Stanford.EDU>
TO: John McCarthy
FR: Henry Lowood
Yes, I can get a copy of the full report from the NRC to you. If the
department--or somebody in it--would be willing to help us solve the
problem of devising an appropriate and practical format, that would of
course be something we would use. I hope I haven't given you another
impression; our problem is that received wisdom in the archival
community is moving in a different direction, it seems. Personally,
that doesn't concern me much; if we can do better, we should.
Henry
-------
∂10-Dec-86 1706 JMC refuting Berkeley and Marx on calculus
To: pat@IMSSS
The reason why I'm interested in whether contemporaries offered
refutations is trying to figure out whether arguing with the Dreyfuses,
Winograd and Searle is a waste of time, i.e. in connection with their
objections to logic in AI. While Berkeley and Marx were surely wrong,
Cauchy, who actually solved the problems, is remembered, while the
contemporary refuters, who didn't have Cauchy's technical results,
are forgotten, and so presumably didn't actually contribute much
to the eventual resolution of the difficulties.
∂10-Dec-86 2150 JMC re: The Reagan Library and Date Rape
To: SIEGMAN@SIERRA.STANFORD.EDU, su-etc@SAIL.STANFORD.EDU
[In reply to message from SIEGMAN@Sierra.Stanford.EDU sent Wed 10 Dec 86 17:12:28-PST.]
The flap over the Reagan Library in the Academic Senate is silly, and
it will be a trifle more silly if the flap over the Reagan Public Policy
Center amounts to anything. In short, I hereby flout the flap.
∂11-Dec-86 1211 JMC re: contex[f86,jmc]
To: RA
[In reply to message rcvd 11-Dec-86 12:09-PT.]
Thanks, it won't need to be TEXed.
∂11-Dec-86 1508 JMC problem 2
To: hsu@SUSHI.STANFORD.EDU
Please distribute the following to cs306-distribution. I'd do it myself,
except that I couldn't tell whether the ": ;" that I get in messages to
me was part of the address.
problem 2
After all the questions about problem 2 in the last class, one of the TV
students without answer back came up with the following example:
checksub[ (lambda (z) (cons z x)),
y,
(lambda (x) (list y x z)),
(lambda (w) (list (lambda (z) (cons z x)) w z))].
This should have the value T, and it is an example where a change
of the bound variable from x to something new, e.g w,
was necessary in order to make the substitution correct. Therefore, it
now seems simplest to require that your program accept all legitimate
changes of bound variables.
∂11-Dec-86 1549 JMC
To: RA
times.1
∂11-Dec-86 1857 JMC re: leaving
To: RA
[In reply to message rcvd 11-Dec-86 16:00-PT.]
That's not Time; it's the New York Times; I don't need it today.
∂11-Dec-86 1858 JMC re: problem 2
To: Hsu@SUSHI.STANFORD.EDU
[In reply to message sent Thu 11 Dec 86 17:04:37-PST.]
Nothing is needed now. At the end of the quarter I would like all
handout, solution, etc. files FTPed to 206,jmc and a message with
a list of them.
∂11-Dec-86 2028 JMC re: problem 2
To: Hsu@SUSHI.STANFORD.EDU
[In reply to message sent Thu 11 Dec 86 19:01:47-PST.]
Yes, please.
∂12-Dec-86 0138 JMC re: Star Wars
To: ucscc!ucscd.beeson@UCBVAX.Berkeley.EDU
[In reply to message sent Sun, 7 Dec 86 15:53:33 PST.]
Your speculation that I wouldn't agree is correct. I've written about 40
lines, but I'm probably only a tenth of the way through your opus. Maybe
I'll finish, maybe not. The part that indicates to me politically based
wishful thinking is your symmetric treatment of the U.S. and the Soviet
Union with its slight bias in favor of Gorbachev. There are many who
regard Gorbachev as a somewhat dangerous force of nature, no more to
be actually criticized than Mt. St. Helens, while they hate Reagan,
because their tribe has always hated the boss Republican.
Let me make the following general remark.
You rehearse fairly well fairly standard arguments. I offer you for
free a piece of advice given me by Edward Teller in response to something
I wrote on a similar issue. He said, "If you want to make an impact,
specialize." Become expert on some aspect of the matter in question.
∂12-Dec-86 0929 JMC Yu
To: hsu@SCORE.STANFORD.EDU
Please tell him that I can't meet with him at 11 because of another
meeting that I forgot. I could see him at 10:30 or after 12.
∂12-Dec-86 1104 JMC applicant for PhD program
To: VAL
Liang-Yin Yu from Taiwan, now at RPI, is applying for the PhD program
and is interested in formalizing common sense. I have asked him to
try to talk to you today, so we can form a joint opinion on his merits
for the purpose of commenting on his application.
He has given me a paper which I will pass on to you.
∂12-Dec-86 1106 JMC Exit from NATO
To: su-etc@SAIL.STANFORD.EDU
The December 19 National Review has an interesting discussion on whether
the U.S. should leave NATO. The idea is that Europe should be able to
provide for its own defense, but they won't as long as they can rely on
us.
∂12-Dec-86 1213 JMC
To: RLG
today
∂12-Dec-86 1226 JMC cbcl reprint
To: RA
Please send this reprint to:
Lee Mantelman
Senior Editor
data Communications Magazine
1221 6th Ave., 41st Floor
New York, NY 10020
Send also the reference to where it was published since we seem to be
out of the official reprints. You can get that from biojmc.
∂12-Dec-86 2110 JMC re: don't want old magazines??
To: rocky!bulwinkl@ROCKY
[In reply to message sent Fri, 12 Dec 86 12:32:28 PST.]
Would you like some National Geographics?
∂12-Dec-86 2114 JMC re: FAIR PLAY and personal attacks on bboard
To: helen@PSYCH.STANFORD.EDU, su-etc@SCORE.STANFORD.EDU
[In reply to message from helen@Psych.Stanford.EDU sent Fri, 12 Dec 86 12:46:50 PST.]
Helen Cunningham has found the universal way of justifying
ad hominem attacks. It applies to all people in all situations.
It constitutes a great discovery in psychology.
∂12-Dec-86 2124 JMC mob scene on BBOARD
To: su-etc@SAIL.STANFORD.EDU
I have not taken part in the date rape debate and have only scanned
what the various participants have said. I will state that I agree
with some of what Lyn Bowman said and that none of what he has said
that I have noticed need be interpreted as a personal attack. I
think his opponents are now trying to win the debate by intimidation,
and this is wrong. That's why I have decided to stick up for him.
∂13-Dec-86 0056 JMC Star wars
To: ucscc!ucscd.beeson@UCBVAX.Berkeley.EDU
Let me apologize for the arrogant and contentious style of my previous
message and again for the style of this one. On rereading the main
point I am unclear about is the extent to which you really do
attribute bad motives to the Reagan Administration and previous
U.S. administrations.
These are scattered comments on your points rather than a considered
independent discussion of the SDI issues.
1. I don't believe that all your first points are agreed by all sides.
There are many schemes for destroying missiles being developed. Yours
is only one. It is intended to use more than one. Another is
smart rocks. There may even be a few actually secret schemes. Not all
conceivable countermeasures can be simultaneously adopted.
Incidentally, you don't mention Soviet efforts at SDI. Did you read the
statement of the 30 emigre Soviet scientists about this?
2. Whether SDI makes first strike easier depends on whether offensive
missiles are decommissioned while SDI is being commissioned. Its
advocates propose to negotiate this.
3. I'm surprised that you have such confidence in what the media say.
The question of whether nuclear war is suicide depends on several
questions. (1) Can you knock out the other guy's offensive weapons?
(2) What do you regard as suicide? Unfortunately, once wars get
started, and ancient wars were often more genocidal than modern ones,
the sides often fight until one can't fight any more. Often the
winner has committed suicide in the sense of suffering damage
worse than losing without fighting, but it happens anyway.
(3) I rather believe that the plan to stop a Soviet tank attack
in Europe with nuclear weapons would be carried out. It would then
be up to the Soviets to escalate further.
The Administration has been bullied into not talking about survivability,
but many don't agree. It's a shame we have no civil defense program.
The Swiss don't agree that civil defense is impossible and have
implemented quite effective civil defense. Nuclear winter is
questionable, though possible. Also the Soviets talk out of both
sides of their mouths on nuclear survivability. They have an
extensive nuclear civil defense program that no-one is allowed
to discuss with foreigners, and its doctrine is survivability.
Even with the best civil defense, millions will die in a full
scale nuclear war, but civil defense might result in saving
80 percent rather than 40 percent of the population.
Chernobyl tends to prove the opposite of your point.
Almost the worst possible nuclear reactor accident killed 31
people directly. There will also be as many as a few thousand added to
the 9 million Ukrainians who will die of cancer in the next 30 years.
Some tens of square miles are contaminated and may or may not be
practically decontaminatable. Two of the remaining three reactors in the
plant are running again, and the third will probably be running within a
year. The Soviets have no plan to abandon this kind of reactor, although
perhaps their new ones will entirely be pressurized water reactors. Civil
defense in the U.S. would make an enormous difference; it could even make
the worst nuclear winter scenarios survivable. Unfortunately, even
if nuclear winter proves to be a fantasy, the direct effects of a
major attack would probably kill more people proportionally than
did the Khmer Rouge in Cambodia. I mention Cambodia to point out
that society in some sense survives the death of even a quarter
of the population, and also that after all that death, they are
still fighting each other.
I am very doubtful that the Soviets will ever find an attack
on the U.S. a plausible proposition. For one thing,
they have gotten too many unpleasant surprises in their surrogate
wars with Israel for the political leaders to have confidence
in assurances that Western military technology has been dominated.
Nevertheless, it is better to be safe than sorry, and I
regard being sure that the Soviets won't regard military success
as likely as on the side of safety. I don't regard an arms race
itself as dangerous unless politics changes for the worse.
It is important not to exaggerate the so-called arms race by
remembering that we are now spending about six percent of our
GNP on arms, including military pensions, whereas we spent
ten percent around 1960. The Soviet Union spends a substantially
larger percentage.
I think you are mistaken about both Nixon and Kennedy
having threatened to use nuclear weapons. Kennedy threatened
to blockade Cuba and put our armed forces on alert. He made
no nuclear threat. Nixon made no nuclear threat in Vietnam,
although he did conventionally bomb North Vietnam. The discussion
of use of nuclear weapons in Vietnam was during the Eisenhower
Administration when some military people suggested helping the
French. Eisenhower vetoed the idea. Truman vetoed the idea
of using nuclear weapons in Korea.
Western Europe has more population and more industry
than the Soviet Union. It could maintain a credible defense
if its politicians couldn't rely on the U.S. I tend to support
the people who propose U.S. withdrawal from NATO even if it
meant German nuclear weapons.
As I said in my previous message I don't agree with
your symmetrical treatment of the U.S. and the Soviet Union.
The Soviet Union really is a very peculiar society ---
oppressive, feudal, far more nationalistic than any other,
and with no really legitimate way method of internal political
struggle. Such oligarchies in the past eventually either
turn into monarchies or break down in civil war. The half life
may be a hundred years, however. Note that democracies don't
go to war with each other whereas communist countries do go
to war with each other.
I don't see how you can imagine that the radioactive
cloud from Chernobyl will deter anybody from anything. The
effects perceptible to Europeans were either media effects
or the result of actions of their governments. I'm not saying
the governments were entirely wrong to restrict use of
certain foods --- merely that there was nothing the public
perceived directly. Compare this with the actual devastation
of World War II, and you'll see why its long term psychological
effect will be trivial.
The Soviets have been developing the Star Wars technologies for
some years and are supposed to be ahead of us. That's
one of the things the emigre statement said. If they decide to
deploy it, they won't announce the fact; they'll do it as secretly
as possible. They deploy missiles without announcement also.
A large part, maybe all, of the arms control negotiations have
been carried out with the Soviets accepting U.S. estimates of
their missile deployment and offering none of their own.
I am dubious of further arms control agreements, because even if
we detect violations, our arms control enthusiasts are likely
to continue finding innocent explanations, as for the Krasnoyarsk
phased array radar and the new missile types.
I don't agree that the Soviet offers are generous. I doubt that even
they would put it that way.
It seems to me that destroying all nuclear weapons without creating
mutual trust makes the situation far more unstable than it is today.
If it takes approximately a year to re-establish them, then it is
possible to hope to win a race by several months, which might suffice
to destroy the other side's ability to ever produce nuclear weapons.
Such trust is in principle possible. We don't fear the other democracies'
attacking us with nuclear weapons, and they don't fear our attacking them,
even though there are points of rivalry and conflict. However, we
must simply wait for the Soviet Union to evolve some democracy,
however long it takes --- maybe several hundred years.
Since the Administration and armed forces thinkers don't agree with your
analysis of the situation, your speculations as to their motives are
beside the point. It seems, however, that you are more ready to ascribe
bad motives to them than to the Politbureau that divided Poland with
Hitler in 1939, invaded Finland in 1940, Hungary in 1956, Czechoslovakia
in 1968 and Afghanistan in 1979. I quote what the Duke of Wellington
said in 1809.
"I am very certain that his wishes & efforts for his party very frequently
prevent him from doing that which is best for the Country; & induce him
to take up the cause of foreign powers against Britain, because the
cause of Britain is managed by his opponents."
The article seems to be unfinished.
∂13-Dec-86 1117 JMC re: igor
To: CLT, LES
[In reply to message from CLT rcvd 13-Dec-86 11:13-PT.]
Worst comes to worst, we can displace Bob Givan.
∂13-Dec-86 1453 JMC re: don't want old magazines??
To: bulwinkl@ROCKY
[In reply to message sent 13 Dec 1986 1416-PST.]
They will be in the freebie box just outside my office door on Monday
if I don't forget.
∂13-Dec-86 1641 JMC same author
To: physicslib@SIERRA.STANFORD.EDU
For Henry Lowood:
Does the library like to be notified that two authors listed as
different in the catalog are the same person?
∂14-Dec-86 1740 JMC for Henry Lowood
To: physicslib@SIERRA.STANFORD.EDU
I was told by a Russian emigre that the two Kolmans are the same,
and Arnost is just a different transliteration from Ernest. The German
book and the second Russian book may be the same; I haven't looked yet.
He also told me that one of the books published in the West contains
information that the "Mathematical Manuscripts of Karl Marx" are a
Soviet forgery with which he was involved.
6) Author: Kolman, Ernest
6.1) Kolman, Ernest. DIE VERRIRTE GENERATION (Frankfurt am Main : 1979.)
LOCATION: DB217.K65A32: Hoover
6.2) Kol'man, Ernest. VELIKII RUSSKII MYSLITEL' N. I. LOBACHEVSKII. 2., perer.
izd. (Moskva, Gos. izd-vo polit. lit-ry, 1956.)
LOCATION: QA29.L67.K6 1956: Green Stacks
1) Author: Kolman, Arnost, 1892-1979
1.1) Kolman, Arnost, MY NE DOLZHNY BYLI TAK ZHIT' (New York : 1982.)
LOCATION: Q143.K66K66 1982: Green Stacks
∂14-Dec-86 1830 JMC regulating packet switching
To: su-etc@SAIL.STANFORD.EDU
Maybe this proposal would produce an effect I think desirable. Namely,
it has always seemed to me that computer-computer communication took
a wrong path with the creation of the ARPAnet in 1970. Almost all of
ARPAnet, CSnet, UUCP, Bitnet, Telenet, etc. traffic would be better
served by direct computer-computer telephone calls over the ordinary
dial network. Endless complication and bureaucracy would have been
avoided. It still would be better to send messages that way. However,
I can't figure out the complexities of the current proposal, except that
it seems to me that the elimination of various subsidies should favor
more rational ways of doing things.
∂14-Dec-86 1834 JMC re: Should Reagan resign?
To: R.ROLAND@LEAR.STANFORD.EDU, su-etc@SAIL.STANFORD.EDU
[In reply to message sent Sun 14 Dec 86 17:46:31-PST.]
I may be mistaken, but I think this flap will blow over. The
Democrats want their pound of flesh, but they aren't out to
get Reagan the way they were out to get Nixon. As for coming
to an arms agreement, it remains to be seen whether a good one
can be negotiated. Remember your desire to preserve NATO.
∂14-Dec-86 1847 JMC re: Yet more sexism
To: TREITEL@SUSHI.STANFORD.EDU, su-etc@SAIL.STANFORD.EDU
[In reply to message sent Sun 14 Dec 86 17:58:56-PST.]
You are mistaken about the opinions of Camilla Benbow and ? Simon. They
have been researching this matter for many years (perhaps 20 years) and
have annoyed all sorts of nice people with their hereditarian opinions.
Worse than that, they are elitists. Namely, after they find
mathematically talented people by their large scale administration of the
SAT mathematical aptitude test to younger age groups, they run camps and
other educational programs, so that these kids can further develop their
mathematical talents. Their work is very well done, and, so far as I
know, the educational establishment hasn't seriously attacked them; it
only mutters. The statement that "there must be an environmental
component" is a sop to the environmentalists; what their work seems to
show is that "there must be a much larger hereditary component".
My own opinion is that there is a both a motivational component
and an ability component to the differences they find. My heretical
opinion is that the motivational component has a substantial genetic
part. Effectively getting more teenage girls to develop their
mathematical abilities may require some measure of coercion; there
needs to be substantial parental, teacher, and propagandist pressure
against opting out of math. They may or may not be grateful later,
but at least many important career options won't be closed off.
∂15-Dec-86 1004 JMC re: telephone answering machine
To: RA
[In reply to message rcvd 15-Dec-86 09:36-PT.]
Yes, please.
∂15-Dec-86 1006 JMC re: AI Courses
To: RICHARDSON@SCORE.STANFORD.EDU
[In reply to message sent Mon 15 Dec 86 07:56:14-PST.]
I will be in Chicago from Jan 6 to 8. Otherwise available.
∂15-Dec-86 1006 JMC re: AI Courses
To: RICHARDSON@SCORE.STANFORD.EDU
[In reply to message sent Mon 15 Dec 86 07:56:14-PST.]
Also in Washington on the 12th.
∂15-Dec-86 1426 JMC re: AI Planning Retreat
To: GSMITH@SUMEX-AIM.STANFORD.EDU
[In reply to message sent Mon 15 Dec 86 10:36:49-PST.]
All those dates are ok with me.
∂15-Dec-86 1429 JMC re: couple of things
To: REGES@SCORE.STANFORD.EDU
[In reply to message sent Mon 15 Dec 86 11:02:07-PST.]
That will be ok. Ray Strong is with IBM Research in San Jose, probably
moved to Almaden, and Robert Smith is with Computer Curriculum Corp. in
Palo Alto.
∂15-Dec-86 1429 JMC re: Taleen
To: RA
[In reply to message rcvd 15-Dec-86 11:41-PT.]
That will be fine.
∂15-Dec-86 1431 JMC re: CS326
To: REGES@SCORE.STANFORD.EDU
[In reply to message sent Mon 15 Dec 86 11:37:06-PST.]
That's ok. Actually, I'm willing to do without a TA, unless someone
especially wants to do it.
∂15-Dec-86 1519 JMC Munindar Paul Singh
To: NSH
is a graduate student at UTexas. Do you know him
and have an opinion re his application to Stanford
PhD program?
∂15-Dec-86 1535 JMC
To: RA
bulloc.1
∂15-Dec-86 1627 JMC
To: RA
cot.1
∂15-Dec-86 1801 JMC Stoyan paper
To: RPG
His recent letter asked me to tell you that he proposes to print his
LISP-compilation paper in the new LISP journal and asks "Would he
like it?". I suppose this doesn't require an answer till he submits
it. For your records, his addresses are as follows.
Stoyan, Herbert Information Sciences
University of Konstanz
PO-Box 5560
D-775 Konstanz 1
Federal Republic of Germany
tel: 07531-88-3593
home: Kapplerbergstr. 73
D-7753 Allensbach
tel: 07533-3408
∂15-Dec-86 1802 JMC Space Station Automation Workshop
To: aaai-office@SUMEX-AIM.STANFORD.EDU
I have a request that AAAI cosponsor it, and the request doesn't seem
to involve financial support. Let's do it. Will you write the letter
Claudia?
∂15-Dec-86 2245 JMC Cunningham criticism
To: su-etc@SAIL.STANFORD.EDU
I was undecided whether it was taking up too much SU-ETC space to respond
to Helen Cunningham's criticism, but I decided I should, since the criticism
was a response to critical remarks of my own. In the first place, while
I consider some of the criticism of Lyn Bowman to be excessively ad hominem
and the ganging up to require someone else to defend him, I have no objection
to Helen Cunningham criticizing my remarks.
The remark I objected to was the following:
"Third, the content of Lyn Bowman's messages does not merit
being taken seriously. However, his attitude does. Therefore
the response is (correctly) to his attitude, not to his content."
My response was:
"Helen Cunningham has found the universal way of justifying
ad hominem attacks. It applies to all people in all situations.
It constitutes a great discovery in psychology."
The addendum about psychology was unnecessary decoration, but I'm
not sure I ought actually to apologize. I suppose I had in
mind Freudian psychology which tends to treat many kinds of
disagreement as due to repression or something like that. The
relevance is dubious, because so far as I know, Freudian
psychology is not currently in vogue at Stanford. Actually,
Helen Cunningham had responded to the content of Lyn Bowman's
messages previously, but apparently became impatient.
I don't remember exactly what triggered my
"Clearly Helen operates in a world in which it is obvious who
are the bad guys."
last year, but it probably was an occasion where I considered she
had taken for granted that someone was a bad guy.
As for my remark about the Chernobyl coverage
"I am hoping for media apologists to claim that the panic mongering
proves that our media are doing their job. Go ahead. Make my day.",
that doesn't count as ad hominem at all, since no individual is being
criticized. Alas, no-one did make my day with such a response.
Actually the ad hominem attacks on Lyn Bowman strike me as within the
limits of vigorous debate (though barely), unless they actually have the
effect of making people suppress expressing their opinions. One personal
message I received did suggest that some people had suppressed their own
until I defended Bowman. It is appropriate, however, to characterize them
as ad hominem and to point out that his opponents won't actually succeed
in being convincing without actually answering the arguments.
I find the whole debate rather "airy" for the following reason.
It deals primarily with what attitudes people should have rather than
with concrete policy. Perhaps it's a debate about affirmative action
or about how juries should weigh the evidence in rape cases, but
if either side said anything definite about either question I missed
it.
∂16-Dec-86 0931 JMC re: Space Station Automation Workshop
To: AAAI-OFFICE@SUMEX-AIM.STANFORD.EDU
[In reply to message sent Tue 16 Dec 86 08:34:04-PST.]
Sure. Doesn't seem to be any rush. Have a good vacation.
∂16-Dec-86 0941 JMC re: Decommissioning reactors
To: STEINBERGER@SRI-KL.ARPA, su-etc@SAIL.STANFORD.EDU
[In reply to message sent Tue 16 Dec 86 08:04:13-PST.]
The Worldwatch Institute tends to be propagandist in its prognostications,
and one of its many prejudices is anti-nuclear. Some plants do provide
decommissioning money, though at the lower and more credible end of the
scale. Incidentally, while the plants have, as a rule, a nominal lifetime
of 30 years for planning purposes, most of them will be able to run
considerably beyond that. You probably intended to say "touted" rather
than "taunted", but the "too cheap to meter" phrase was never used in
any of the responsible stories on nuclear power.
Now that solar power and windmills have flopped, nuclear is here to stay.
∂16-Dec-86 1009 JMC re: tel. ansering machine
To: RA
[In reply to message rcvd 16-Dec-86 09:57-PT.]
Charge the machine to NSF if possible, but check first whether it can
be charged to overhead. I called Finitzo, and I'll decide later
about Los Alamos.
∂16-Dec-86 1121 JMC re: Decommissioning reactors
To: STEINBERGER@SRI-KL.ARPA
[In reply to message sent Tue 16 Dec 86 10:50:32-PST.]
A few further remarks. The utilities aren't heroes. They will do what
the regulators want. They will often even say what the regulators want
them to say. If matters were entirely determined by politics, nuclear
power would be entirely dead. However, no genuine alternative has yet
appeared, and coasting on the plants already under construction and
conservation will only last a certain time. When the alternatives are
stark we will build plants again, although whether they will be coal
or the environmentally preferable nuclear plants will depend on politics.
The Sierra Club and other environmental organizations have a substantial
moral responsibility for the thousands of people who have died because
of their misguided policies.
Fortunately, we have an excellent foreign example in France; 65 percent of
their electricity is now nuclear; and they now sell electricity to their
neighbors. They will sell us plants when we need them based on our technology.
∂16-Dec-86 1129 JMC Gray Tuesday
To: cheadle@SCORE.STANFORD.EDU
CC: JJW@SAIL.STANFORD.EDU, RPG@SAIL.STANFORD.EDU
I think Joe Weening is making reasonable progress on his thesis.
∂16-Dec-86 1515 JMC re: Dr. Flaherty
To: RA
[In reply to message rcvd 16-Dec-86 12:27-PT.]
RPI stands for Renssalear(sp?) Polytechnic Institute, and it's in upstate
New York, but I don't remember Dr. Flaherty.
∂16-Dec-86 1617 JMC
To: RA
kimbro.1
∂16-Dec-86 1801 JMC answering machine
To: RA
The modular jack on the answering machine has the normal four contacts,
whereas this phone has 5. Please ask how they are supposed to be
connected.
∂16-Dec-86 1824 JMC re: dial costs
To: LES
[In reply to message rcvd 16-Dec-86 18:22-PT.]
Looks like there is no need for additional effort.
∂16-Dec-86 2319 JMC
To: VRP@SAIL.STANFORD.EDU
What is the Australian school year?
∂17-Dec-86 0045 JMC re: NATO bucks
To: TREITEL@SUSHI.STANFORD.EDU, su-etc@SUSHI.STANFORD.EDU
CC: treitel@SUSHI.STANFORD.EDU
[In reply to message from TREITEL@Sushi.Stanford.EDU sent Tue 16 Dec 86 21:11:57-PST.]
I don't know how the $170 billion is calculated - if it is calculated.
However, there is a very large overhead in troops and money in maintaining
a force overseas. For example, the men in basic training and unit training
in the U.S. who will later be sent to Europe could be counted as part of
the cost of European defense even though they are not among the 300,000
troops actually there. The fact is that European countries spend a much
smaller fraction of their GNPs on defense than the U.S. does. Anyway,
doesn't it seem anomalous to you that there should still be American
troops in Europe 40 years after the end of World War II?
∂17-Dec-86 0103 JMC re: Nuclear Power
To: STEINBERGER@SRI-KL.ARPA, su-etc@SCORE.STANFORD.EDU
[In reply to message from STEINBERGER@SRI-KL.ARPA sent Tue 16 Dec 86 16:08:58-PST.]
1. According to an estimate I have seen the energy cost of a nuclear
reactor is abour .5 percent of the power it produces. Since the energy
used in building it and fueling it has to be paid for, the energy cost, e.g. in
separating the uranium is included in the dollar accounting. I suppose
some people have invented scenarios about decommissioning that have
high energy costs, but most of all costs associated with nuclear energy
and almost anything else are labor costs.
2. The French attitude seems to me to be responsible. The difference
seems to come from the fact that the French are somehow less affected by
ideas popular elsewhere than other nations. Sometimes they lose by it,
but on this one they win.
3. The likelihood that we will change our energy consuming life style
seems to me low for two reasons. First, there's no good reason to do
it. Nuclear energy is safe enough. Second, if we give up nuclear
energy and coal and run out of oil and natural gas, the loss to civilization
is likely to be very large indeed.
4. Almost any of the proposals for handling waste will work. If it were
just dumped back in the uranium mines, the net radioactivity would
be lower after 500 years than before the uranium was mined.
5. Richard Treitel asks whether anything new or intelligent is being
said. I am not aware of anything new being said. Almost all the
arguments on both sides are 20 years old. Even Chernobyl merely
illustrates both sides of old arguments. We pro-nukes say that
the linear hypothesis estimates of excess deaths due to Chernobyl
are small compared to what coal-based air pollution costs. You
won't find this comparison getting much publicity, because the
same companies that operate nuclear plants also operate coal-burning
plants.
∂17-Dec-86 1517 JMC re: approximate theories and naming
To: berke@LOCUS.UCLA.EDU
[In reply to message sent Wed, 17 Dec 86 14:18:43 PST.]
I'm a bit pressed for time now, so I'm not sure when I will have
further reactions to your ideas.
∂17-Dec-86 1614 JMC Lisp Journal announcement
To: edsel!jlz@NAVAJO.STANFORD.EDU
For the Lisp journal editorial board, that's Carolyn Talcott not Caroline.
For many people it would be a convenience if the editorial board
listing included addresses or at least cities.
∂17-Dec-86 2143 JMC re: I don't know about you guys
To: helen@PSYCH.STANFORD.EDU, su-etc@SCORE.STANFORD.EDU
[In reply to message from helen@Psych.Stanford.EDU sent Wed, 17 Dec 86 12:46:51 PST.]
The most one can say about a word like "irregardless" is that it is
not standard English. One can even say it should be avoided; I think
grammar should be somewhat prescriptive. However, unless you know about
all American subcultures, and that's a lot, you can't easily draw conclusions
that someone who uses the word is "an uninformed idiot". The problem is
that it may merely be a dialectical variant characteristic of some
subculture. Now people who used the phrase "inferiority complex";
those were uninformed idiots.
∂18-Dec-86 1002 JMC reply to message
To: VAL
[In reply to message rcvd 18-Dec-86 09:48-PT.]
How about 2pm? Most of the rest of the day, I've got Timothy.
∂18-Dec-86 1004 JMC re: Hotel in Chicago
To: RA
[In reply to message rcvd 18-Dec-86 09:57-PT.]
The rate is within my budget, but I'll ask the Chicago people whether
they have a deal that will reduce it.
∂18-Dec-86 1609 JMC
To: VAL
PHILPA.[E80,JMC] McCarthy Papers on Philosophy and Artificial Intelligence
∂18-Dec-86 1807 JMC re: Computer Museum AI Exhibit
To: LES@SAIL.STANFORD.EDU, BUCHANAN@SUMEX-AIM.STANFORD.EDU,
Rindfleisch@SUMEX-AIM.STANFORD.EDU
CC: Tucker@SUMEX-AIM.STANFORD.EDU, Feigenbaum@SUMEX-AIM.STANFORD.EDU,
Nilsson@SCORE.STANFORD.EDU
[In reply to message from LES rcvd 18-Dec-86 17:51-PT.]
Anything that is done with PARRY should have Ken Colby's concurrence.
∂18-Dec-86 2259 JMC re: commonsense reasoning
To: G.BEESON@CSLI.STANFORD.EDU
[In reply to message sent Thu 18 Dec 86 21:21:55-PST.]
Indeed it hasn't been done. We hope to try. Come on in, the water's
fine.
∂19-Dec-86 0002 JMC animal rights
To: su-etc@SAIL.STANFORD.EDU
Suppose a specialized drug company were created that guaranteed
that both its pharmaceuticals and its cosmetics were not tested
in animals either during development or for quality control in
manufacture. Would there be a demand for its products?
∂19-Dec-86 1452 JMC re: finals and grade sheet
To: Hsu@SUSHI.STANFORD.EDU
[In reply to message sent Fri 19 Dec 86 14:18:00-PST.]
Yes, I have the grade sheet. I will be in off and on during the weekend.
Anyone from my group, e.g. Gian-Luigi or Joe Weening, can let you into
my office. Otherwise, if I'm not here phone me at home 857-0672, and
I'll come and get them.
∂19-Dec-86 1453 JMC re: meeting with Gibbon
To: RA
[In reply to message rcvd 19-Dec-86 13:58-PT.]
Yes, I'll be there. I tried to phone them and got no reply.
∂19-Dec-86 1456 JMC
To: VAL
∂13-Nov-86 1139 JMC
To: RLG
KNOW[E78,JMC] FORMALIZATION OF TWO PUZZLES INVOLVING KNOWLEDGE
KNOW.ART[F75,JMC] 18-Sep-77 AN AXIOMATIZATION OF KNOWLEDGE
AND THE EXAMPLE OF THE WISE MAN PUZZLE
KNOWLE.AX[E78,JMC] start on knowledge axioms with learning and K(person,
KNOW3.AX[E76,JMC] 03-Aug-76 Concepts with assignments and arithmetic
KNO1.PRF[E76,JMC] 28-Jul-76 A person comes to know what he is told.
KNOW.AX[E76,JMC] 27-Jul-76 with concepts, wants and future
KNO2.AX[E76,JMC] 30-Jul-76 Knowledge with wants and likes
CONCEP.AX[S76,JMC] 03-Jun-76 NOtes for knowledge, can, causality axioms
KNOW.AX[S76,JMC] 05-Jun-76 Propositions are true in situations
TAUT.PRF[F75,JMC] 13-Dec-75 Even fools know tautologies
KNOW.AX[F75,JMC] 15-Dec-75 General knowledge axioms
KNOW.AX2[F75,JMC] 29-Dec-75 Kripkean knowledge axioms
KNOW[W76,JMC] 30-Mar-76 KNOWLEDGE OF TELEPHONE NUMBERS
KNOW[F78,JMC] "Mike knows what Joan asserted", etc.
KNOCOM[W79,JMC] COMPUTATION WITH STATES OF KNOWLEDGE
ABOUT[W80,JMC] Knowing about
BODY[W80,JMC] Bodies of knowledge
JOINT[W80,JMC] JOINT KNOWLEDGE
SEMINA.[E80,JMC] Knowledge and action seminar
KNOW.2[W81,JMC] Formalization of two puzzles involving knowledge
know[w81,jmc] original jmc knowledge axioms and version in FOL
know[e81,jmc] Revising Montague's knowledge axioms
KNOW.PRF[F81,JMC]
know[f81,jmc] draft of paper on knowledge
knowax.lsp[f81,jmc] ekl axioms for knowledge, original jmc modal system
know3.lsp[f81,jmc] ekl axioms for knowledge using possible worlds
know4.lsp[f81,jmc] comments and axioms on Kripke type knowledge
knowle[f81,jmc] axiomatizing knowledge using consistency
know[f83,jmc] Notes on non-knowledge
know.lsp[f83,jmc] EKL axioms for knowledge
know2[f83,jmc] Passing the salt
know.abs[w84,jmc] Abstract for lecture in Halpern seminar
know.lsp[w84,jmc] ekl axioms
comm[e85,jmc] Common sense knowledge
halper[e85,jmc] Abstract for Halpern's knowledge conference
halper.abs[e85,jmc] Draft abstract for Halpern conference on knowledge
mental.abs[e85,jmc] Abstract for Halpern based on mental situation calculus
theory[e85,jmc] theoretical use of knowledge
know[f85,jmc] Knowledge for Halpern meeting (Dec. 15 deadline)
know.fil[f85,jmc] List of files referring to knowledge
WISEMA[F75,JMC] 03-Dec-75 ANOTHER FORMALIZATION OF THE WISE MAN PUZZLE
puzzle[w78,jmc]
WISE3.AX[S78,JMC] 26-Jun-78 Axioms for 3 wiseman problem
WISE3.PRF[S78,JMC] 24-Jun-78 Proof of 3 wiseman problem
UNFAIT.AX[S78,JMC] 30-Jun-78 start on axiomatizing unfaithful wives
∂19-Dec-86 1725 JMC US quality of life
To: su-etc@SAIL.STANFORD.EDU
Here is the A.P. story in question. I have never heard of the Economic
Policy Institute nor of its leader Jeff Faux. The story says it is a
private, non-profit research organization with support from labor unions
and various foundations. I have a nasty reactionary guess as to which
labor unions support it based on the contents of this warmed over press
release. Hint: the guess is based on a topic dragged in by the hair.
I am also quite sure that at least one of its statistics is wrong. Japanese
infant mortality is considerably lower that that of the U.S., and the
other numbers on infant mortality while in the right ball park, don't
seem to be quite what I recall as the most recent statistics.
$10 for the first definite information on SU-ETC as to which labor
unions and foundations support this institute.
a222 1335 18 Dec 86
AM-US Scorecard, Bjt,0754
Study Says U.S. Trails Japan, West Germany And Sweden In Quality Of
Life
By TOM RAUM
AP Economics Writer
WASHINGTON (AP) - The United States lags behind Japan, West Germany
and Sweden in both economic performance and quality of life,
concludes a study released Thursday by an economic research
organization.
The four-nation comparative study by the Economic Policy Institute
said that, on the basis of 17 measures of quality of life, the U.S.
performance was worst and Sweden's best.
The United States had the best performance on only three
quality-of-life measures: home ownership, living space per person and
expenditure on medical care per person, the study found.
It had the worst performance of the four in 11 categories, including
infant mortality, male life expectancy, homicide rate and
unemployment.
Of 17 economic indicators, the United States again scored last
overall among the four countries while Japan was first, said the
study, which compared data from 1960-1985.
In the economic area, the United States scored first in just two
areas: employment growth and investment growth rate. It had the worst
performance in 11 categories, including growth of the gross national
product, trade balance, net savings, and profit rate in
manufacturing.
The institute is a private, non-profit research organization with
financial support from labor unions and various foundations.
Institute President Jeff Faux said the study compared the United
States with Japan and West Germany because they are this nation's
chief economic rivals; and with Sweden because it has the largest
civilian government work force, by percentage, of any major
industrialized country.
The study sought to examine the link between government spending and
economic wellbeing.
''Taken as a whole, this examination of the major comparative
statistics available for these countries is impressive evidence that
the size of a nation's civilian government is not, in and of itself,
a burden on economic growth and efficiency,'' Faux said.
Unemployment in the United States in 1985 was the highest of the
four nations: 7.2 percent of the total labor force, compared to 1.6
percent in Sweden, 1.3 percent in Japan andi0.8 percent in Germany.
The United States also scored worst among the four in the ''misery
index,'' calculated by adding inflation to unemployment. In 1985,
this index was 10.8 for the United States, 10.5 for Germany, 10.2 for
Sweden and 4.6 for Japan.
And it had by far the highest homicide rate: 8.8 per 100,000
population, compared to 4.5 in Sweden, 4.1 in Germany and 1.6 in
Japan.
However, the study said the United States ''appears to be the
best-housed nation, despite the existence of substantial homelessness
and urban and rural poverty.''
In the United States, 65 percent of the adult population owns its
own residence, compared with 60 percent in Japan, 51 percent in
Sweden and 36 percent in Germany, the study said.
And the average number of persons-per-room in U.S. homes is lower
than in the other four nations: one person for every two rooms (0.5),
compared with 0.8 per room in Japan; 0.6 per room in German homes and
0.7 per room in Sweden.
Females live longer than males in all four countries, but males have
the longest life expectancy at birth in Japan, 73.6 years - compared
with 72.8 years in Sweden, 69.9 years in Germany and 69.5 years in
the United States.
Females can expect to live longest in either Sweden or Japan: 79.1
years, compared to 77.5 years in the United States and 76.8 years in
Germany.
Infant mortality is highest in Japan, lowest in Sweden, said the
study: 24.5 deaths per 1,000 births in Japan against 23.5 for
Germany, 14.8 for the United States and 5.9 for Sweden.
U.S. workers put in an average of 39 hours a week, said the study:
more than the 36 hours put in by Swedish workers and just below the
40-hour work weeks in Germany. In Japan, the average work week is 47
hours.
Female workers make the highest salaries in Sweden relative to their
male co-workers: their earnings are 81 percent of average male
earnings. That compares to 75 percent in Germany, 68 percent in the
United States and 53 percent in Japan.
Economic growth in the United States in 1985 was the lowest of the
four countries: 2.2 percent, according to the tabulation used in the
survey, against 4.6 percent in Japan, 2.4 percent in Germany and 2.3
percent in Sweden.
AP-NY-12-18-86 1634EST
***************
∂20-Dec-86 0237 JMC For Henry Lowood
To: physicslib@SIERRA.STANFORD.EDU
I have read the report "Preservation of Physical Records" and reached
the following conclusions.
1. On page 6 it says, "Only paper records in current holdings were
to be considered. Nontextual items, such as, ... , and machine
readable records, were outside the scope of this report, ... "
Therefore, strictly speaking the report is irrelevant to the
preservation of my on-line files.
2. The magnetic tape option was dismissed without being seriously
considered. First of all, they don't even mention (unless I missed
it) the hardest problem - how do you get the records onto magnetic
tape in the first place. Second they say that recopying the records
every 20 years is (p. 68) enormously expensive, but they never estimate
what the cost would be. In my view, the cost might be much less than
maintaining the buildings required to store the same information on
paper. Moreover, they never mention the desirability of maintaining
several copies at separated locations to protect against catastrophes.
Because of the copying problem, I wouldn't recommend moving existing
papers to magnetic tape until OCR is further advanced.
3. My opinion is that for Stanford to undertake to maintain its own
machine readable records and plan to recopy would cost about two
technically capable people for a year to implement a system and
one person plus a clerk to maintain it. Facilities of ITS would
be used. Recopying would take place whenever ITS changed storage
media. Probably on-line availability could be maintained for any
machine readable documents produced originally by keyboard, e.g.
every faculty member's archives produced on word-processors or
computers.
I'll return the report shortly, but first I want to talk to Kwan
Y. Wong at IBM San Jose, who was their expert on magnetic media.
∂20-Dec-86 1659 JMC junet
To: okuno@SUMEX-AIM.STANFORD.EDU
Can you tell me how to send mail to
ito@aoba.tohoku.junet
?
∂20-Dec-86 1704 JMC morals and ethics
To: su-etc@SAIL.STANFORD.EDU
In my experience "ethics" is often a synonym for an illegal conspiracy
in restraint of trade.
∂20-Dec-86 1707 JMC re: junet
To: Okuno@SUMEX-AIM.STANFORD.EDU
[In reply to message sent Sat 20 Dec 86 17:04:59-PST.]
Many thanks for the quick reply.
∂20-Dec-86 1714 JMC visit
To: ito%aoba.tohoku.junet%utokyo-relay.csnet@RELAY.CS.NET
CC: CLT@SAIL.STANFORD.EDU
You will be welcome. I will be away on the 6th and 7th, but other,
especially Carolyn Talcott, will be here, and I look forward to talking
with you when I get back. She is managing the Qlisp project. Our seminar
is on Friday at 11 in case you can stay for it.
∂21-Dec-86 0140 JMC Theorist
To: DEK
Landau seems like a good name for a computer scientist with an
interest in number theory. What about affirming the Susan Landau
who has an article in the January Notices of the AMS?
∂21-Dec-86 1644 JMC
To: hsu@SCORE.STANFORD.EDU
How is the exam coming?
∂21-Dec-86 2104 JMC re: final
To: Hsu@SUSHI.STANFORD.EDU
[In reply to message sent Sun 21 Dec 86 18:53:56-PST.]
Timothy has a doctor's appointment tomorrow morning, and I won't be back
till afternoon. If anything is ready tonight, send me a message. Otherwise,
we'll just have to see whether getting them in late tomorrow afternoon
will still result in the students' getting their grades on time.
∂22-Dec-86 0946 JMC re: Broken terminal
To: BJORK@SCORE.STANFORD.EDU
[In reply to message sent Mon 22 Dec 86 09:28:56-PST.]
If you can come before 11:30, the housekeeper will be here. Otherwise,
phone this afternoon, 857-0672, and Carolyn may be here. Tomorrow
a baby-sitter will be here all day, but Carolyn would like to be
able to use her terminal as soon as possible.
∂22-Dec-86 1312 JMC re: grade sheet
To: Hsu@SUSHI.STANFORD.EDU
[In reply to message sent Mon 22 Dec 86 11:38:29-PST.]
Thanks. I'll be in the office by 2pm.
∂22-Dec-86 1315 JMC re: Palo Alto residents ...
To: FRALEY@SUSHI.STANFORD.EDU, su-etc@SUSHI.STANFORD.EDU
[In reply to message from FRALEY@Sushi.Stanford.EDU sent Mon 22 Dec 86 08:46:02-PST.]
It would be better if they restricted the ban to leaf blowers that hadn't
passed a decibel test - say 70 db. I assume that none would pass now, but
the manufacturers would then have an incentive. Noisy lawnmowers should
also be banned.
∂22-Dec-86 1318 JMC ethics and restraint of trade
To: su-etc@SAIL.STANFORD.EDU
The example I have in mind is that some years ago I was very short
of cash and sold some stock and was anxious to be paid as soon as
possible. The broker told me that ethics prevented him from paying
me before 5 days.
∂22-Dec-86 1403 JMC
To: hsu@SUSHI.STANFORD.EDU
I'm ready to do my problem.
∂22-Dec-86 1409 JMC reply to message
To: Hsu@SUSHI.STANFORD.EDU
[In reply to message sent Mon 22 Dec 86 14:03:01-PST.]
Since my previous message, Rutie put them on my desk.
∂22-Dec-86 1522 JMC
To: hsu@SUSHI.STANFORD.EDU
Done.
∂22-Dec-86 1842 JMC re: grades
To: Hsu@SUSHI.STANFORD.EDU
[In reply to message sent Mon 22 Dec 86 18:38:06-PST.]
If you haven't turned in the grades yet, let's talk about it tomorrow.
If you have, I guess I'll let it stand. I note that the registrar's
deadline is actually tomorrow.
∂22-Dec-86 2149 JMC re: visit
To: CLT
[In reply to message rcvd 22-Dec-86 21:43-PT.]
Prof. Takayasu Ito of Sendai University, a former Stanford graduate student.
He is working on parallel lisp and also works on mtc.
∂22-Dec-86 2353 JMC re: grades
To: Hsu@SUSHI.STANFORD.EDU
[In reply to message sent Mon 22 Dec 86 23:46:58-PST.]
OK, do it, but replace Rutie's copy as well, and give me a new copy.
∂22-Dec-86 2359 JMC re: Tom Lawson
To: Hsu@SUSHI.STANFORD.EDU
[In reply to message sent Mon 22 Dec 86 23:51:35-PST.]
My opinion is that it won't change his grade, since he got the very
bottom grade on the final.
∂23-Dec-86 0051 JMC re: PS on fundamentalist textbook case
To: MRC@PANDA
[In reply to message sent Mon 22 Dec 86 22:45:10-PST.]
Mark Crispin grumbles that the decision in the Hawkins County case may
set an undesirable precedent. I think it sets a good precedent. In
the first place, if the School Board had let the students out of the
reading class their parents objected to, the parents would have had
to provide the reading classes at their own expense, and the School
Board would have had to pay nothing. They got stuck, because their
refusal induced the parents to send their children to a private
school. Parents wanting to take advantage of the precedent will
have to be serious enough to replace the classes they object to at
their own expense. In my own case, when Timothy is old enough to
attend Palo Alto schools, maybe I'll object to "peace education",
which is a form of political propaganda, as I see it. Very likely,
"peace education" will turn out to be a fad and will be gone by
then, but perhaps I'll object to something else. I have no idea
what I would offer to do in the time released from "peace education".
Any suggestions?
∂23-Dec-86 1024 JMC
To: bjork@SCORE.STANFORD.EDU
Please phone 857-0672.
∂23-Dec-86 1133 JMC re: A thought on the terminal problem.
To: BJORK@SCORE.STANFORD.EDU
[In reply to message sent Tue 23 Dec 86 11:24:06-PST.]
Thanks, and merry Christmas.
∂23-Dec-86 1507 JMC Huberman thesis
To: LES
I swiped it back and gave it to a student Lun Yuen, who may do
the program.
∂23-Dec-86 2240 JMC re: encyclopedia...
To: BILLW@SCORE.STANFORD.EDU, su-etc@SCORE.STANFORD.EDU,
finger@SUSHI.STANFORD.EDU
[In reply to message from BILLW@Score.Stanford.EDU sent Tue 23 Dec 86 11:58:27-PST.]
I have both the 14th edition and the current 15th edition of the
Britannica. The latter was in part payment for an article on robots some
years ago. Usually the Micropedia works ok, but sometimes I can't find
what I want and then use the index in the older edition. I have found no
use for the one volume Propedia. I also have the McGraw-Hill Encyclopedia
of Science and Technology and the Bolshaya Sovietskaya Encyclopedia. The
Britannica is usually better than the Soviet Encyclopedia on scientific
topics.
The grumbles I have read about the Britannica are the following:
1. The Micropedia is no substitute for a proper index volume.
2. The Micropedia articles are hack condensations of articles in
the earlier edition. I have observed this about some of them.
3. Many of the Britannica articles have a somewhat left wing
political bias. One sees this in the geography articles. The
articles about cities and states have a future section at the
end in which the problems the city faces are listed. It usually
turns out that the problem is that the city's policies are not
leftist enough. The articles about Soviet cities are written
by Soviets, and it turns out that these cities have no problems
at all. These little squibs can readily be ignored, but although
I can't recall many examples, I think some of the biographies are
biased.
The one I can recall is the biography of the Russian
18th century scholar Lomonosov. During the Stalin era, everything
was claimed for Lomonosov. The Britannica biography is written
by a Frenchman (perhaps a communist?) and makes some of the Stalin
era Soviet claims for him, e.g. having discovered the law of
conservation of energy. The Soviet article was written in the
late 1960s and is considerably more objective, though longer,
of course. It contains Lomonosov's letter in Latin to Euler,
which contains a rather vague statement that can be generously
interpreted in the direction of conservation of energy.
I just noticed the following conclusion to the article
on Mao Tse-tung. "The Chinese revolution and Mao's political
theories will stand as landmarks in history but wheter or not
the offer to other countries an effective solution to their
problems remains to be seen. Mao himself recognized this fact
when he said that a thousand years hence not only he but Marx
might appear somewhat out of date."
In short this edition of the Britannica was strongly affected
by the ideas fashionable when it was written. I have no definite
opinion on whether the other encyclopedias are better.
∂23-Dec-86 2300 JMC Fundamentalists
To: su-etc@SAIL.STANFORD.EDU
As a second generation atheist, I suppose I am inclined to a more
tolerant view of religious people in general and fundamentalists in
particular than seems to be common among the BBOARD atheists, who seem to
have converted themselves from religion relatively recently. One can
certainly find some writings and speeches by some fundamentalists that
suggest that they might abuse power if they had it. One can find other
writings that suggest that they would be more tolerant.
I don't know of any current examples of American fundamentalists
persecuting non-believers, even though they are in the majority in some
places. As an atheist child I was always treated tolerantly. When I was
drafted into the Army, there was no objection raised to putting N on my
dog tags as the religious preference, although I had heard of dog tag
machine operators refusing to do that.
As I said in previous messages, I regard the judge's decision in
the Tennessee case as reasonable. The education establishment is inclined
to be bull-headedly intolerant, and that School Board is having to pay for
it. What the parents asked was unreasonable, but the judge didn't give
them that.
Some of the BBOARD messages seem to say that we are entitled
to persecute the fundamentalists, because of what they might do if
they got power. No we aren't.
I admit I might be more defensive if I thought there was a
long term trend toward fundamentalist power, but I don't see it.
There is still a long term secularist trend. It will seem otherwise
to people who identify secularism with the political left. The
left has had a setback resulting from overreaching itself.
∂24-Dec-86 0926 JMC
To: CLT
We are invited to dinner at 7 chez Gunther. I accepted subject to veto.
∂24-Dec-86 1602 JMC re: Keys for Math Library?
To: PHYSICSLIB@SIERRA.STANFORD.EDU
[In reply to message sent Wed 24 Dec 86 15:45:06-PST.]
Several years ago, keys were available to graduate students and above.
When Harry Llull decided to abolish keys, most people didn't object, but a
few of us were very put out. After about a year, Harry decided to create
this committee, and the relevant departments were asked who needed keys.
I think Nils Nilsson negotiated the arrangement with Harry. I believe
there is also Persi Diaconis in Statistics. I believe all of us use our
keys occasionally and will be quite inconvenienced if we don't get them
again. Persi may be the only other.
∂24-Dec-86 1841 JMC
To: LES
THANKS
∂25-Dec-86 1239 JMC psych
To: ME
All bboard messages to psych seem not to arrive. Mightn't it be a good
idea to remove that computer from the su-etc list?
∂25-Dec-86 2239 JMC re: star wars
To: ucscc!ucscd.beeson@UCBVAX.Berkeley.EDU
[In reply to message sent Thu, 25 Dec 86 21:49:03 PST.]
Sorry I didn't make myself clear. I indeed disagree with both points.
1. As to the knowledgable circles, of course I don't know exactly to
whom you are referring, but I suppose it's the scientific opponents
of nuclear arms generally. I'm sure that wasn't Teller's opinion,
and I know it's not the opinion of Lowell Wood and the other Livermore
people or the scientists working on Star Wars. Teller starts with
the opinion, which I am unable to evaluate, that the Soviets have
pulled so far ahead of us in both nuclear and conventional arms
that there is serious danger that they will attempt to attack or
coerce us in a few years. You may find the opinion fantastic, but
I'm quite certain it is sincerely held.
Of course, it is possible to find some arguments for the view that
Star Wars is useless defensively and useful in supporting a first strike.
The opposing view is that it is useful in blunting a first strike.
2. The second point is based on the first, so it falls when the first
falls. However, it seems to have a further premiss that the Adminstration
is contemplating some offensive move backed by a nuclear threat. Of course,
since Star Wars won't be in place until long after this Administration
is history, they could only be offering this as an option to their
successors, unless you believe that there is a long term behind-the-scenes
ruling group with the actual office-holders mere window dressing.
Since every administration has had its deserters, who claim to be exposing
its misdeeds, the behind-the-scenes group must be supposed to have
no deserters and to keep itself secret from the actual office holders.
With regard to the common sense reasoning, yours is sound enough given
your explicit premisses and a few implicit ones. The chief implicit
premiss is that the Administration agrees with your technical analysis,
and is certain of this opinion. Most people, especially people in office,
are aware that the actual effects of starting a program such as Star Wars
are quite uncertain. Many probably favor doing the research, seeing
what we get, and then deciding what it may be good for.
∂26-Dec-86 1047 JMC
To: VAL
Do you remember what file contains our response to McDermott?
∂26-Dec-86 1505 JMC
To: LES
terminal for Shankar
∂26-Dec-86 1524 JMC
To: VAL
Beach, Sharon Sickel, beach@hp-labs,
4145 Clares St. Suite F, Capitola, CA 95010
408 462-0811
∂26-Dec-86 1635 JMC argument against logic in AI
To: feigenbaum@SUMEX-AIM.STANFORD.EDU
For a general paper on logic in AI I need references to papers
with arguments against its use. Is there something of yours
I can refer to. I plan to refer to McDermott's paper and something
of Carl Hewitt's. This particular paper won't attempt to answer
any such arguments.
∂28-Dec-86 0031 JMC
To: LES, ME
Who has WAITS terminals at home?
∂28-Dec-86 1335 JMC Evil Empire
To: su-etc@SAIL.STANFORD.EDU
President Reagan referred to the Soviet Union as an evil empire.
There was press and TV comment that this was simplistic of him.
I didn't seem any discussion of whether he was inaccurate. I
have left a pamphlet "Mustapha Dzhemilev and the Crimean Tatars"
in the CSD lounge as evidence that the characterization was
accurate though concise.
∂28-Dec-86 1519 JMC
To: netlib@ANL-MCS.ARPA
send index
∂28-Dec-86 1531 JMC send index from fnlib
To: netlib@ANL-MCS.ARPA
∂28-Dec-86 1537 JMC send sqrt from core
To: netlib@ANL-MCS.ARPA
∂28-Dec-86 1537 JMC send sin from fnlib
To: netlib@ANL-MCS.ARPA
∂28-Dec-86 1612 JMC index
To: avg@NAVAJO.STANFORD.EDU
∂28-Dec-86 1522 netlibd@anl-mcs.ARPA index
Received: from ANL-MCS.ARPA by SAIL.STANFORD.EDU with TCP; 28 Dec 86 15:21:08 PST
Received: by anl-mcs.ARPA (4.12/4.9)
id AA00092; Sun, 28 Dec 86 17:20:36 cst
Date: Sun, 28 Dec 86 17:20:36 cst
From: netlibd@anl-mcs.ARPA (Netlib)
Message-Id: <8612282320.AA00092@anl-mcs.ARPA>
Subject: index
Apparently-To: JMC@SAIL.STANFORD.EDU
===== general NETLIB index =====
Welcome to netlib, a system for distribution of mathematical software
by electronic mail. This index is the reply you'll get to:
mail netlib@anl-mcs.arpa
send index.
To examine the full index for any library send a request of the form:
send index from eispack.
To search for all software with certain keywords:
find cubic spline.
To search for somebody in Gene Golub's address list:
Who is Joan Doe?
displays entries containing "Joan" and "Doe". (no spelling correction!)
Here are some addition forms a request may take...
send dgeco from linpack
(Retrieves routine DGECO and all routines it calls from the LINPACK library.)
send only dgeco from linpack
(Retrieves just DGECO and not subsidiary routines.)
send dgeco but not dgefa from linpack
(Retrieves DGECO and subsidiaries, but excludes DGEFA and subsidiaries.)
send list of dgeco from linpack
(Retrieves just the file names rather than the contents;
this can be helpful when one already has an entire library and just
wants to know what pieces are needed in a particular application.)
whois france
(Retrieves all addresses of people in the database living in France.)
You may include several requests in a single piece of mail, but put
each on a separate line.
Send the requests to "netlib@anl-mcs.arpa" even though replies appear to be
coming from "netlibd@anl-mcs.arpa". You'll be talking to a program,
so don't expect it to understand much English. If your Unix system
doesn't talk directly to research, you might try forwarding through
ihnp4 (AT&T Bell Labs in Chicago) or mcvax (Math Centrum in Amsterdam).
Someone will be paying for long distance phone calls, so be reasonable!
Those with access, possibly through some gateway, to the arpanet can
use netlib@anl-mcs.arpa (at Argonne National Lab) instead of research!netlib
(at Bell Labs in Murray Hill, New Jersey).
The default precision is double; to get single, prefix the library name
with "s". However, if the library only comes in one precision, that's what
you will be sent. To save space we remove sequence numbers and maintain a
central set of machine dependent constants. Otherwise the codes, which are
almost all in Fortran, are as received from the authors. Bugs found in
core libraries like eispack will receive prompt attention; in general, we
will forward comments (and annual lists of recipients) to the code authors.
The "Caveat receptor" you see means: this code may not be worth more than
you are paying for it!
-------quick summary of contents---------
alliant - set of programs collected from Alliant users
apollo - set of programs collected from Apollo users
benchmark - various benchmark programs and a summary of timings
bihar - Bjorstad's biharmonic solver
bmp - Brent's multiple precision package
conformal - Schwarz-Christoffel codes by Trefethen; Bjorstad+Grosse
core - machine constants, blas
domino - communication and scheduling of multiple tasks; Univ. Maryland
eispack - matrix eigenvalues and vectors
elefunt - Cody and Waite's tests for elementary functions
errata - corrections to numerical books
fishpack - separable elliptic PDEs; Swarztrauber and Sweet
fitpack - Cline's splines under tension
fftpack - Swarztrauber's Fourier transforms
fmm - software from the book by Forsythe, Malcolm, and Moler
fn - Fullerton's special functions
go - "golden oldies" gaussq, zeroin, lowess, ...
harwell - MA28 sparse linear system
hompack - nonlinear equations by homotopy method
itpack - iterative linear system solution by Young and Kincaid
lanczos - Cullum and Willoughby's Lanczos programs
laso - Scott's Lanczos program for eigenvalues of sparse matrices
linpack - gaussian elimination, QR, SVD by Dongarra, Bunch, Moler, Stewart
lp - linear programming
machines - short descriptions of various computers
microscope - Alfeld and Harris' system for discontinuity checking
minpack - nonlinear equations and least squares by More, Garbow, Hillstrom
misc - everything else
ode - ordinary differential equations
odepack - ordinary differential equations from Hindmarsh
paranoia - Kahan's floating point test
pchip - hermite cubics Fritsch+Carlson
pltmg - Bank's multigrid code; too large for ordinary mail
port - the public subset of PORT library
pppack - subroutines from de Boor's Practical Guide to Splines
quadpack - univariate quadrature by Piessens, de Donker, Kahaner
siam - typesetting macros for SIAM journal format
slatec - machine constants and error handling package from the Slatec library
specfun - transportable special functions
toeplitz - linear systems in Toeplitz or circulant form by Garbow
toms - Collected Algorithms of the ACM
y12m - sparse linear system (Aarhus)
--------a bit more detail--------
MISC Contains various pieces of software collected over time and:
the source code for the netlib processor itself;
the paper describing netlib and its implementation;
the abstracts list maintained by Richard Bartels.
GO Golden Oldies: routines that have been widely used,
but aren't available through the standard libraries.
Nominations welcome!
CORE Machine constants (i1mach,r1mach,d1mach), blas (level 1 and 2)
EISPACK A collection of Fortran subroutines that compute the eigenvalues
and eigenvectors of nine classes of matrices. The package can
determine the eigensystems of complex general, complex Hermitian,
real general, real symmetric, real symmetric band, real symmetric
tridiagonal, special real tridiagonal, generalized real, and
generalized real symmetric matrices. In addition, there are two
routines which use the singular value decomposition to solve
certain least squares problems.
Developed by the NATS Project at Argonne National Laboratory.
(d.p. refer to eispack, s.p. refer to seispack)
LINPACK A collection of Fortran subroutines that analyze and solve linear
equations and linear least squares problems. The package solves
linear systems whose matrices are general, banded, symmetric
indefinite, symmetric positive definite, triangular, and tridiagonal
square. In addition, the package computes the QR and singular value
decompositions of rectangular matrices and applies them to least
squares problems.
Developed by Jack Dongarra, Jim Bunch, Cleve Moler and Pete Stewart.
(all precisions contained here)
TOMS Collected algorithms of the ACM. When requesting a specific
item, please refer to the Algorithm number.
FMM Routines from the book Computer Methods for Mathematical
Computations, by Forsythe, Malcolm, and Moler.
Developed by George Forsythe, Mike Malcolm, and Cleve Moler.
(d.p. refer to fmm, s.p. refer to sfmm)
FNLIB Wayne Fullerton's special function library.
(all precisions contained here)
FFTPACK A package of Fortran subprograms for the Fast Fourier
Transform of periodic and other symmetric sequences
This package consists of programs which perform Fast Fourier
Transforms for both complex and real periodic sequences and
certain other symmetric sequences.
Developed by Paul Swarztrauber, at NCAR.
FISHPACK A package of Fortran subprograms providing finite difference
approximations for elliptic boundary value problems.
Developed by Paul Swarztrauber and Roland Sweet.
QUADPACK A package for numerical computation of definite univariate integrals.
Developed by Piessens, Robert(Appl. Math. and Progr. Div.- K.U.Leuven)
de Donker, Elise(Appl. Math. and Progr. Div.- K.U.Leuven
Kahaner, David(National Bureau of Standards) (slatec version)
TOEPLITZ A package of Fortran subprograms for the solution of systems
of linear equations with coefficient matrices of Toeplitz or
circulant form, and for orthogonal factorization of column-
circulant matrices.
Developed by Burt Garbow at Argonne National Laboratory,
as a culmination of Soviet-American collaborative effort.
(d.p. refer to toeplitz, s.p. refer to stoeplitz)
PPPACK Subroutines from: Carl de Boor, A Practical Guide to Splines,
Springer Verlag. This is an old version, from around the time the book
was published. We will install a newer version as soon as we can.
ITPACK Iterative Linear System Solver based on a number of methods:
Jacobi method, SOR, SSOR with conjugate gradient acceleration
or with Chebyshev (semi-iteration - SI) acceleration.
Developed by Young and Kincaid and the group at U of Texas.
BIHAR Biharmonic solver in rectangular geometry and polar coordinates.
These routines were obtained from Petter Bjorstad,
Veritas Research, Oslo Norway in July 1984.
LANCZOS procedures computing a few eigenvalues/eigenvectors of a large (sparse)
symmetric matrix. Jane Cullum and Ralph Willoughby, IBM Yorktown.
LASO A competing Lanczos package. David Scott.
CONFORMAL contains routines to solve the "parameter problem" associated
with the Schwarz-Christoffel mapping. Includes:
SCPACK (polygons with straight sides) from Nick Trefethen.
CAP (circular arc polygons) from Petter Bjorstad and Eric Grosse.
FITPACK A package for splines under tension. (an early version)
For a current copy and for other routines, contact:
Alan Kaylor Cline, 8603 Altus Cove, Austin, Texas 78759, USA
HARWELL Currently contains on the sparse matrix routine MA28 from the
Harwell library. from Iain Duff, AERE Harwell
BENCHMARK contains benchmark programs and the table of Linpack timings.
MACHINES contains information on high performance computers that
are or soon to be made available
MINPACK A package of Fortran programs for the solution of systems of
nonlinear equations and nonlinear least squares problems.
Five algorithmic paths each include a core subroutine and an
easy-to-use driver. The algorithms proceed either from an analytic
specification of the Jacobian matrix or directly from the problem
functions. The paths include facilities for systems of equations
with a banded Jacobian matrix, for least squares problems with a
large amount of data, and for checking the consistency of the
Jacobian matrix with the functions.
Developed by Jorge More', Burt Garbow, and Ken Hillstrom at
Argonne National Laboratory.
(d.p. refer to minpack, s.p. refer to sminpack)
PORT The public subset of the PORT library. Includes the latest version
of Gay's NL2SOL nonlinear least squares. The rest of the PORT3
library is available by license from AT&T.
Y12M calculation of the solution of systems of linear systems of
linear algebra equations whose matrices are large and sparse.
authors: Zahari Zlatev, Jerzy Wasniewski and Kjeld Schaumburg
PCHIP is a fortran package for piecewise cubic hermite inter-
polation of data. It features software to produce a monotone and
"visually pleasing" interpolant to monotone data.
Fred N. Fritsch, Lawrence Livermore National Laboratory
LP Linear Programming - At present, this consists of one subdirectory,
data: a set of test problems in MPS format, maintained by David Gay.
For more information, try a request of the form
send index for lp/data
ODE various initial and boundary value ordinary differential equation
solvers: colsys, dverk, rkf45, ode
ODEPACK The ODE package from Hindmarch and others.
This is the single precision verison to get dp refer to dodepack.
Alan Hindmarch, Lawrence Livermore National Laboratory
ELEFUNT is a collection of transportable Fortran programs for testing
the elementary function programs provided with Fortran compilers. The
programs are described in detail in the book "Software Manual for the
Elementary Functions" by W. J. Cody and W. Waite, Prentice Hall, 1980.
SPECFUN is an incomplete, but growing, collection of transportable
Fortran programs for special functions, and of accompanying test
programs similar in concept to those in ELEFUNT.
W.J. Cody, Argonne National Laboratory
PARANOIA is a rather large program, devised by Prof. Kahan of Berkeley,
to explore the floating point system on your computer.
SLATEC library DoE policy apparently prohibits us from distributing this.
Contact the National Energy Software Center or your congressman.
HOMPACK is a suite of FORTRAN 77 subroutines for solving nonlinear systems
of equations by homotopy methods. There are subroutines for fixed
point, zero finding, and general homotopy curve tracking problems,
utilizing both dense and sparse Jacobian matrices, and implementing
three different algorithms: ODE-based, normal flow, and augmented
Jacobian.
DOMINO is a set of C-language routines with a short assembly language
interface that allows multiple tasks to communicate and schedules
local tasks for execution. These tasks may be on a single processor
or spread among multiple processors connected by a message-passing
network. (O'Leary, Stewart, Van de Geijn, University of Maryland)
Apollo A set of programs collected from Apollo users.
Alliant A set of programs collected from Alliant users.
∂28-Dec-86 1612 JMC sin from fnlib
To: avg@NAVAJO.STANFORD.EDU
∂28-Dec-86 1540 netlibd@anl-mcs.ARPA sin from fnlib
Received: from ANL-MCS.ARPA by SAIL.STANFORD.EDU with TCP; 28 Dec 86 15:39:37 PST
Received: by anl-mcs.ARPA (4.12/4.9)
id AA00344; Sun, 28 Dec 86 17:38:56 cst
Date: Sun, 28 Dec 86 17:38:56 cst
From: netlibd@anl-mcs.ARPA (Netlib)
Message-Id: <8612282338.AA00344@anl-mcs.ARPA>
Subject: sin from fnlib
Apparently-To: JMC@SAIL.STANFORD.EDU
c To get d1mach, mail netlib
c send d1mach from core
Caveat receptor. (Jack) dongarra@anl-mcs, (Eric Grosse) research!ehg
Compliments of netlib Sun Dec 28 17:38:46 CST 1986
function sin (x)
c august 1980 edition. w. fullerton, los alamos scientific lab.
c
c this routine is based on the algorithm of cody and waite
c in argonne tm-321, software manual working note number 1.
c
dimension sincs(10)
external aint, csevl, inits, r1mach, sqrt
c
c series for sin on the interval 0.00000e+00 to 2.46740e+00
c with weighted error 2.06e-19
c log weighted error 18.69
c significant figures required 18.10
c decimal places required 19.19
c
data sin cs( 1) / -0.3749911549 5587317584 0e0/
data sin cs( 2) / -0.1816031552 3725020186 4e0/
data sin cs( 3) / 0.0058047092 7459863355 9e0/
data sin cs( 4) / -0.0000869543 1177934075 7e0/
data sin cs( 5) / 0.0000007543 7014808885 1e0/
data sin cs( 6) / -0.0000000042 6712966505 6e0/
data sin cs( 7) / 0.0000000000 1698042294 5e0/
data sin cs( 8) / -0.0000000000 0005012057 9e0/
data sin cs( 9) / 0.0000000000 0000011410 1e0/
data sin cs( 10) / -0.0000000000 0000000020 6e0/
c
c pihi + pilo = pi. pihi is exactly representable on all machines
c with at least 8 bits of precision. whether it is exactly
c represented depends on the compiler. this routine is more
c accurate if it is exactly represented.
data pihi / 3.140625e0 /
data pilo / 9.676535897 9323846e-4 /
data pirec / 0.3183098861 8379067e0 /
data pi2rec / 0.63661977236 7581343e0 /
data ntsn, xsml, xwarn, xmax / 0, 3*0.0 /
c
if (ntsn.ne.0) go to 10
ntsn = inits (sincs, 10, 0.1*r1mach(3))
c
xsml = sqrt (6.0*r1mach(3))
xmax = 1.0/r1mach(4)
xwarn = sqrt (xmax)
c
10 y = abs(x)
if (y.gt.xmax) call seteru (
1 42hsin no precision because abs(x) is big, 42, 2, 2)
if (y.gt.xwarn) call seteru (
1 54hsin answer lt half precision because abs(x) is big,
2 54, 1, 1)
c
sin = x
if (y.lt.xsml) return
c
xn = aint (y*pirec+0.5)
n2 = amod (xn, 2.0) + 0.5
sgn = x
if (n2.ne.0) sgn = -sgn
f = (y-xn*pihi) - xn*pilo
c
sin = f + f*csevl (2.0*(f*pi2rec)**2-1.0, sincs, ntsn)
if (sgn.lt.0.0) sin = -sin
if (abs(sin).gt.1.0) sin = sign (1.0, sin)
c
return
end
function sqrt (x)
c june 1977 edition. w. fullerton, c3, los alamos scientific lab.
dimension sqrt2(3)
external alog, r1mach, r9pak
data sqrt2(1) / 0.7071067811 8654752e0 /
data sqrt2(2) / 1.0 e0 /
data sqrt2(3) / 1.4142135623 7309505 e0 /
c
data niter / 0 /
c
if (niter.eq.0) niter = 1.443*alog(-0.104*alog(0.1*r1mach(3)))+ 1.
c
if (x.le.0.) go to 20
c
call r9upak (x, y, n)
ixpnt = n/2
irem = n - 2*ixpnt + 2
c
c the approximation below has accuracy of 4.16 digits.
sqrt = .261599e0 + y*(1.114292e0 + y*(-.516888e0 + y*.141067e0))
c
do 10 iter=1,niter
sqrt = sqrt + 0.5*(y - sqrt**2) / sqrt
10 continue
c
sqrt = r9pak (sqrt2(irem)*sqrt, ixpnt)
return
c
20 if (x.lt.0.) call seteru (21hsqrt x is negative, 21, 1, 1)
sqrt = 0.0
return
c
end
function aint (x)
c december 1983 edition. w. fullerton, c3, los alamos scientific lab.
c
c aint (x) extracts the integer part of x and returns the result as a
c floating point number. this routine is ordinarily a built-in
c function. it is supplied here merely for completeness.
c
external alog, i1mach, r1mach
data npart, scale, xbig, xmax / 0, 3*0.0 /
c
if (npart.ne.0) go to 10
ibase = i1mach(10)
xmax = 1.0/r1mach(4)
xbig = amin1 (float(i1mach(9)), xmax)
scale = ibase**int (alog(xbig)/alog(float(ibase))-0.5)
npart = alog (xmax)/alog (scale) + 1.0
c
10 if (x.lt.(-xbig) .or. x.gt.xbig) go to 20
c
aint = int(x)
return
c
20 xscl = abs(x)
if (xscl.gt.xmax) go to 50
c
do 30 i=1,npart
xscl = xscl/scale
30 continue
c
aint = 0.0
do 40 i=1,npart
xscl = xscl*scale
ipart = xscl
part = ipart
xscl = xscl - part
aint = aint*scale + part
40 continue
c
if (x.lt.0.0) aint = -aint
return
c
50 call seteru (67haint abs(x) may be too big to be represented as
1 an exact integer, 67, 1, 1)
aint = x
return
c
end
function alog (x)
c june 1977 edition. w. fullerton, c3, los alamos scientific lab.
dimension alncs(6), center(4), alncen(5)
external csevl, inits, r1mach
c
c series for aln on the interval 0. to 3.46021d-03
c with weighted error 1.50e-16
c log weighted error 15.82
c significant figures required 15.65
c decimal places required 16.21
c
data aln cs( 1) / 1.3347199877 973882e0 /
data aln cs( 2) / .0006937562 83284112e0 /
data aln cs( 3) / .0000004293 40390204e0 /
data aln cs( 4) / .0000000002 89338477e0 /
data aln cs( 5) / .0000000000 00205125e0 /
data aln cs( 6) / .0000000000 00000150e0 /
c
data center(1) / 1.0 /
data center(2) / 1.25 /
data center(3) / 1.50 /
data center(4) / 1.75 /
c
data alncen( 1) / 0.0e0 /
data alncen( 2) / +.2231435513 14209755 e+0 /
data alncen( 3) / +.4054651081 08164381 e+0 /
data alncen( 4) / +.5596157879 35422686 e+0 /
data alncen( 5) / +.6931471805 59945309 e+0 /
c
c aln2 = alog(2.0) - 0.625
data aln2 / 0.0681471805 59945309e0 /
data nterms / 0 /
c
if (nterms.eq.0) nterms = inits (alncs, 6, 28.9*r1mach(3))
c
if (x.le.0.) call seteru (
1 29halog x is zero or negative, 29, 1, 2)
c
call r9upak (x, y, n)
c
xn = n - 1
y = 2.0*y
ntrval = 4.0*y - 2.5
if (ntrval.eq.5) t = ((y-1.0)-1.0) / (y+2.0)
if (ntrval.lt.5) t = (y-center(ntrval))/(y+center(ntrval))
t2 = t*t
c
alog = 0.625*xn + (aln2*xn + alncen(ntrval) + 2.0*t +
1 t*t2*csevl(578.0*t2-1.0, alncs, nterms) )
c
return
end
function csevl (x, cs, n)
c april 1977 version. w. fullerton, c3, los alamos scientific lab.
c
c evaluate the n-term chebyshev series cs at x. adapted from
c r. broucke, algorithm 446, c.a.c.m., 16, 254 (1973). also see fox
c and parker, chebyshev polys in numerical analysis, oxford press, p.56.
c
c input arguments --
c x value at which the series is to be evaluated.
c cs array of n terms of a chebyshev series. in eval-
c uating cs, only half the first coef is summed.
c n number of terms in array cs.
c
dimension cs(1)
c
if (n.lt.1) call seteru (28hcsevl number of terms le 0, 28, 2,2)
if (n.gt.1000) call seteru (31hcsevl number of terms gt 1000,
1 31, 3, 2)
if (x.lt.(-1.1) .or. x.gt.1.1) call seteru (
1 25hcsevl x outside (-1,+1), 25, 1, 1)
c
b1 = 0.
b0 = 0.
twox = 2.*x
do 10 i=1,n
b2 = b1
b1 = b0
ni = n + 1 - i
b0 = twox*b1 - b2 + cs(ni)
10 continue
c
csevl = 0.5 * (b0-b2)
c
return
end
function inits (os, nos, eta)
c april 1977 version. w. fullerton, c3, los alamos scientific lab.
c
c initialize the orthogonal series so that inits is the number of terms
c needed to insure the error is no larger than eta. ordinarily, eta
c will be chosen to be one-tenth machine precision.
c
c input arguments --
c os array of nos coefficients in an orthogonal series.
c nos number of coefficients in os.
c eta requested accuracy of series.
c
dimension os(nos)
c
if (nos.lt.1) call seteru (
1 35hinits number of coefficients lt 1, 35, 2, 2)
c
err = 0.
do 10 ii=1,nos
i = nos + 1 - ii
err = err + abs(os(i))
if (err.gt.eta) go to 20
10 continue
c
20 if (i.eq.nos) call seteru (28hinits eta may be too small, 28,
1 1, 2)
inits = i
c
return
end
function r9pak (y, n)
c december 1979 edition. w. fullerton, c3, los alamos scientific lab.
c
c pack a base 2 exponent into floating point number x. this routine
c is almost the inverse of r9upak. it is not exactly the inverse,
c because abs(x) need not be between 0.5 and 1.0. if both r9pak and
c 2.0**n were known to be in range, we could compute
c r9pak = x * 2.0**n .
c
external i1mach, r1mach
data nmin, nmax / 2*0 /
data aln210 / 3.321928094 887362 e0 /
c
if (nmin.ne.0) go to 10
aln2b = 1.0
if (i1mach(10).ne.2) aln2b = r1mach(5)*aln210
nmin = aln2b*float(i1mach(12))
nmax = aln2b*float(i1mach(13))
c
10 call r9upak (y, r9pak, ny)
c
nsum = n + ny
if (nsum.lt.nmin) go to 40
if (nsum.gt.nmax) call seteru (
1 31hr9pak packed number overflows, 31, 2, 2)
c
if (nsum.eq.0) return
if (nsum.gt.0) go to 30
c
20 r9pak = 0.5*r9pak
nsum = nsum + 1
if (nsum.ne.0) go to 20
return
c
30 r9pak = 2.0*r9pak
nsum = nsum - 1
if (nsum.ne.0) go to 30
return
c
40 call seteru (32hr9pak packed number underflows, 32, 1, 0)
r9pak = 0.0
return
c
end
subroutine r9upak (x, y, n)
c august 1980 portable edition. w. fullerton, los alamos scientific lab
c
c unpack floating point number x so that x = y * 2.0**n, where
c 0.5 .le. abs(y) .lt. 1.0 .
c
absx = abs(x)
n = 0
y = 0.0
if (x.eq.0.0) return
c
10 if (absx.ge.0.5) go to 20
n = n - 1
absx = absx*2.0
go to 10
c
20 if (absx.lt.1.0) go to 30
n = n + 1
absx = absx*0.5
go to 20
c
30 y = sign (absx, x)
return
c
end
subroutine seteru (messg, nmessg, nerr, iopt)
common /cseter/ iunflo
integer messg(1)
data iunflo / 0 /
c
if (iopt.ne.0) call seterr (messg, nmessg, nerr, iopt)
if (iopt.ne.0) return
c
if (iunflo.le.0) return
call seterr (messg, nmessg, nerr, 1)
c
return
end
subroutine seterr (messg, nmessg, nerr, iopt)
c
c this version modified by w. fullerton to dump if iopt = 1 and
c not recovering.
c seterr sets lerror = nerr, optionally prints the message and dumps
c according to the following rules...
c
c if iopt = 1 and recovering - just remember the error.
c if iopt = 1 and not recovering - print, dump and stop.
c if iopt = 2 - print, dump and stop.
c
c input
c
c messg - the error message.
c nmessg - the length of the message, in characters.
c nerr - the error number. must have nerr non-zero.
c iopt - the option. must have iopt=1 or 2.
c
c error states -
c
c 1 - message length not positive.
c 2 - cannot have nerr=0.
c 3 - an unrecovered error followed by another error.
c 4 - bad value for iopt.
c
c only the first 72 characters of the message are printed.
c
c the error handler calls a subroutine named fdump to produce a
c symbolic dump. to complete the package, a dummy version of fdump
c is supplied, but it should be replaced by a locally written version
c which at least gives a trace-back.
c
integer messg(1)
external i1mach, i8save
c
c the unit for error messages.
c
iwunit=i1mach(4)
c
if (nmessg.ge.1) go to 10
c
c a message of non-positive length is fatal.
c
write(iwunit,9000)
9000 format(52h1error 1 in seterr - message length not positive.)
go to 60
c
c nw is the number of words the message occupies.
c
10 nw=(min0(nmessg,72)-1)/i1mach(6)+1
c
if (nerr.ne.0) go to 20
c
c cannot turn the error state off using seterr.
c
write(iwunit,9001)
9001 format(42h1error 2 in seterr - cannot have nerr=0//
1 34h the current error message follows///)
call e9rint(messg,nw,nerr,.true.)
itemp=i8save(1,1,.true.)
go to 50
c
c set lerror and test for a previous unrecovered error.
c
20 if (i8save(1,nerr,.true.).eq.0) go to 30
c
write(iwunit,9002)
9002 format(23h1error 3 in seterr -,
1 48h an unrecovered error followed by another error.//
2 48h the previous and current error messages follow.///)
call eprint
call e9rint(messg,nw,nerr,.true.)
go to 50
c
c save this message in case it is not recovered from properly.
c
30 call e9rint(messg,nw,nerr,.true.)
c
if (iopt.eq.1 .or. iopt.eq.2) go to 40
c
c must have iopt = 1 or 2.
c
write(iwunit,9003)
9003 format(42h1error 4 in seterr - bad value for iopt//
1 34h the current error message follows///)
go to 50
c
c test for recovery.
c
40 if (iopt.eq.2) go to 50
c
if (i8save(2,0,.false.).eq.1) return
c
c call eprint
c stop
c
50 call eprint
60 call fdump
stop
c
end
subroutine fdump
return
end
subroutine e9rint(messg,nw,nerr,save)
c
c this routine stores the current error message or prints the old one,
c if any, depending on whether or not save = .true. .
c
integer messg(nw)
logical save
external i1mach, i8save
c
c messgp stores at least the first 72 characters of the previous
c message. its length is machine dependent and must be at least
c
c 1 + 71/(the number of characters stored per integer word).
c
integer messgp(36),fmt(14),ccplus
c
c start with no previous message.
c
data messgp(1)/1h1/, nwp/0/, nerrp/0/
c
c set up the format for printing the error message.
c the format is simply (a1,14x,72axx) where xx=i1mach(6) is the
c number of characters stored per integer word.
c
data ccplus / 1h+ /
c
data fmt( 1) / 1h( /
data fmt( 2) / 1ha /
data fmt( 3) / 1h1 /
data fmt( 4) / 1h, /
data fmt( 5) / 1h1 /
data fmt( 6) / 1h4 /
data fmt( 7) / 1hx /
data fmt( 8) / 1h, /
data fmt( 9) / 1h7 /
data fmt(10) / 1h2 /
data fmt(11) / 1ha /
data fmt(12) / 1hx /
data fmt(13) / 1hx /
data fmt(14) / 1h) /
c
if (.not.save) go to 20
c
c save the message.
c
nwp=nw
nerrp=nerr
do 10 i=1,nw
10 messgp(i)=messg(i)
c
go to 30
c
20 if (i8save(1,0,.false.).eq.0) go to 30
c
c print the message.
c
iwunit=i1mach(4)
write(iwunit,9000) nerrp
9000 format(7h error ,i4,4h in )
c
call s88fmt(2,i1mach(6),fmt(12))
write(iwunit,fmt) ccplus,(messgp(i),i=1,nwp)
c
30 return
c
end
subroutine eprint
c
c this subroutine prints the last error message, if any.
c
integer messg(1)
c
call e9rint(messg,1,1,.false.)
return
c
end
integer function i8save(isw,ivalue,set)
c
c if (isw = 1) i8save returns the current error number and
c sets it to ivalue if set = .true. .
c
c if (isw = 2) i8save returns the current recovery switch and
c sets it to ivalue if set = .true. .
c
logical set
c
integer iparam(2)
c iparam(1) is the error number and iparam(2) is the recovery switch.
c
c start execution error free and with recovery turned off.
c
data iparam(1) /0/, iparam(2) /2/
c
i8save=iparam(isw)
if (set) iparam(isw)=ivalue
c
return
c
end
subroutine s88fmt( n, w, ifmt )
c
c s88fmt replaces ifmt(1), ... , ifmt(n) with
c the characters corresponding to the n least significant
c digits of w.
c
integer n,w,ifmt(n)
c
integer nt,wt,digits(10)
c
data digits( 1) / 1h0 /
data digits( 2) / 1h1 /
data digits( 3) / 1h2 /
data digits( 4) / 1h3 /
data digits( 5) / 1h4 /
data digits( 6) / 1h5 /
data digits( 7) / 1h6 /
data digits( 8) / 1h7 /
data digits( 9) / 1h8 /
data digits(10) / 1h9 /
c
nt = n
wt = w
c
10 if (nt .le. 0) return
idigit = mod( wt, 10 )
ifmt(nt) = digits(idigit+1)
wt = wt/10
nt = nt - 1
go to 10
c
end
∂28-Dec-86 1624 JMC re: Forbs education cover story
To: ANDY@SUSHI.STANFORD.EDU
[In reply to message sent Sun 28 Dec 86 16:00:22-PST.]
Sorry, I'm not the public fool killer.
∂29-Dec-86 1108 JMC reply to message
To: CLT
[In reply to message rcvd 29-Dec-86 10:05-PT.]
5 today is fine with me.
∂29-Dec-86 1646 JMC re: A personal favor
To: Bobrow.pa@XEROX.COM
[In reply to message sent 29 Dec 86 11:51 PST.]
On that very day, I will be in Chicago being interviewed by Science
Research Associates (IBM subsidiary) as part of a video show they are
producing for managements of Fortune 500 companies. They are paying, of
course. I am willing to do it on another day, but whether and how much I
will have to be paid depends on whether the opus is a one-shot or is
intended for further distribution. I'll have to check, but I don't
believe my contract with SRA prevents me from doing the same for someone
else - except on the same day!
∂29-Dec-86 2033 JMC re: Gosper account
To: LES
[In reply to message rcvd 29-Dec-86 18:55-PT.]
I'll ask him what if any use he has for it.
∂29-Dec-86 2316 JMC re: A personal favor
To: Bobrow.pa@XEROX.COM
[In reply to message sent 29 Dec 86 18:32 PST.]
Monday is possible - most any time in the afternoon. Friday I have
an appointment at 2pm for about an hour otherwise free.
∂30-Dec-86 0959 JMC re: AI Faculty Mtg.
To: RICHARDSON@SCORE.STANFORD.EDU
[In reply to message sent Tue 30 Dec 86 09:54:14-PST.]
The 12th is impossible; the others are ok.
∂30-Dec-86 1324 JMC re: express letter
To: TALEEN@SCORE.STANFORD.EDU
[In reply to message sent Tue 30 Dec 86 11:13:28-PST.]
I'll be in.
∂30-Dec-86 1531 JMC re: Faculty Meeting
To: RICHARDSON@SCORE.STANFORD.EDU
[In reply to message sent Tue 30 Dec 86 14:20:53-PST.]
I will miss both the faculty and senior faculty meetings, Jan. 6.
∂30-Dec-86 1655 JMC re: Evil Empire
To: STEINBERGER@SRI-KL.ARPA
CC: su-etc@SAIL.STANFORD.EDU
[In reply to message from STEINBERGER@SRI-KL.ARPA sent Tue 30 Dec 86 14:41:00-PST.]
As I feared, the issue became not whether Reagan's characterization
was true but whether he should have said it.
In my opinion, knowing the truth of the matter is important in avoiding
war with the Soviet Union. The point isn't that the Soviet leaders are
more evil those of the U.S., although that is true. It is rather that our
safety depends somewhat on an accurate understanding of the nature of the
Soviet Union.
I accept Steinberger's assurance that he doesn't approve of the Soviet
Government, but his characterization of it is too mild. In particular,
his characterization would not sustain the phrase "evil empire". For
those to busy to read the pamphlet about the Crimean Tatars in the lounge,
here are the facts. From the formation of the Soviet Union till 1944,
the Crimean Tatars occupied a so-called autonomous region on the island
of the Crimea. In that year, Stalin abolished the region and the NKVD
arrested the whole Tatar population and exiled them to the East. This
was at a time when the Russians were winning their war with the Germans.
About half the Tatars died in the transport and in camps. In 1967 it
was ruled that the Tatars were not guilty of treason, but they were
not allowed to move back to their homeland. They still aren't, and
people like Dzhemilev who try or even complain are convicted of anti-state
slander and sent to prison or to labor camps. This is just one fact
that sustains the characterization of the Soviet Union as an empire
in which Russians rule the other peoples. Read the pamphlet to see
if you agree that the charge of "evil" is also sustained. Of course,
there are other examples.
Steinberger cites various alleged wrongs by the U.S. as though they
were comparable. It is important that they aren't, but I won't
pursue this point now. I have in the past.
Nothing whatever was said about whether the Soviet people support their
government. In general, people disbelieve the Communist Party self-praise,
and if you haven't seen or heard it you won't believe in its intensity
and ubiquitousness. On the other hand, they often believe the propaganda
charges against foreign countries, especially the U.S. However, such
support as exists for communist governments often collapses when people
are free to choose. Examples, include refusal of prisoners to return,
the Grenada population's almost unanimous welcome of their liberation,
and the myriad escapes from communist countries.
Now I want to relate the above to the danger of war. I doubt that
the Soviet Union has a specific plan to conquer the U.S. Forty years
has elapsed since World War II, and nothing they consider an opportunity
has arisen. If there were what they regard as an opportunity, they
might be tempted, but their proxy wars against Israel have given them
enough unpleasant surprises, so that the politicians would not easily
accept assurances from the military men. However, while Gorbachev
seems like a basically sensible man, their succession process is
sufficiently random that there is a non-trivial probability of his
being succeeded by a Napoleon. Such a person could succeed in mobilizing
the country for military adventure. Their tradition of one-man rule,
shared by other communist countries, makes for a larger variance in
policy than in countries where consensus is important.
Moreover, while some parts of Soviet ideology are a dead letter, the
part that never allows ascribing good will to foreign countries are
very much alive.
These dangers, while real, are not much larger than they have been
since the late 1950s, except that Soviet military power relative
to the U.S. seems to have grown. My opinion is that we have about
as much peace as we are going to get, and desperate efforts to end
the "cold war" make hot war more rather than less likely. There are
two reasons. The first is that unilateral disarmament creates
temptation to coerce us or other countries. Moreover, our reaction
to aggression is not readily predicted by us or them. Dean Acheson,
our Secretary of State, declared South Korea outside our defense
perimeter, but when South Korea was attacked, we defended it. The
communists undoubtedly felt this was a violation of a commitment.
Carter said we had recovered from our "inordinate fear of communism"
and gave the Sandinistas $75 million. However, the Reagan Administration
supports the Contras.
This brings up the second reason. Excessive concessions to the communists
bring bitter disappointments as Carter said about the Soviet invasion
of Afghanistan soon after he had kissed Brezhnev on the cheeks. This
causes oscillations in American policy. Why do you suppose that the
most anti-Soviet President in many decades was elected soon after
these failures of detente? Of course, the real peaceniks don't consider
Carter one of them. If we had elected McGovern President, he would
have made far more unilateral concessions, and if that didn't lead
to war, the disappointments it caused might have led to a far more
anti-Soviet President and Congress than we have today.
Finally, the Soviet Union improves its policies, when it does, usually
in response to pressure. This seems counterintuitive to many people,
because they have in mind that pressure only makes the Soviets angry
and stiffens their backs. Indeed it does make the leaders angry, and
they and their propagandists say so on every occasion. However, many
Soviets find aspects of their policy immoral and self-defeating,
e.g. neither allowing refusenik scientists to work nor to emigrate,
as one minor official said to me. These Soviets are much too prudent
to say that they find the policies immoral, but they are often willing
to emphasize the advantages of giving in to foreign pressure in a
particular instance. This is my interpretation of the reason IJCAI-75,
held in the Soviet Union, succeeded in getting a prominent refusenik
in a panel, something the political scientists did not do when they
held their international meeting in Moscow. To rub it in, we
amateur Sovietologists succeeded where the professionals didn't even
dare try.
Gorbachev has done a good but mainly symbolic deed in releasing Sakharov
from his exile in Gorky. I believe we should respond favorably but
in an equally symbolic way. When Dobrynin was Soviet Ambassador, he
was allowed to enter the State Department building by a more convenient
entrance, perhaps directly from a parking garage. Early in the Reagan
Administration, this was disallowed as an expression of disapproval
of some Soviet action. I favor restoring the privilege as a gesture
of good will. The Soviet system is based on privilege, and its
officials understand and value privileges.
Maybe the Soviet Union will evolve in a more humane direction -
maybe not. If it does, I believe we will have no more fear of
it than we now have of Western Europe or they of us.
I would dearly like to influence it in that direction.
[I believe our getting a refusenik into a meeting was a micro-step
in that direction. The Soviets I talked to differed on whether it
did any good in general, but the refusenik in question was certainly
pleased by his first opportunity in six years to give a scientific
lecture to his Soviet and foreign colleagues.]
However, I cannot think of any action by the U.S. that is strongly likely
to have substantial effects in that direction. Improvements in
communist countries occur, as far as I can see, when they get
a party boss who tires of some particular form of nastiness or
finds it dangerous.
One thing that might help a bit is to improve our propaganda on
Voice of America, Radio Liberty, and Radio Marti. The direction I would
like to see it go is more emphasis on the privileges of the communist
party members and leaders in these countries. More analysis of the
inefficiency, inequity, and criminal potentialities of communist rule is
required. In particular, the Soviet people need to be told that the
feudal, imperialist and intermittently genocidal characteristics of their
society are not a characteristic of Russians per se - that they infect
communist societies of widely varied cultural backgrounds. After all, it
wasn't the Russians or even the Chinese who influenced the Cambodian
communists, in a country noted for its gentle people to kill a quarter of
the population.
Finally, what agreements are possible with the Soviet Union? Cultural,
sure. Economic, probably, if genuinely mutual. Scientific, likewise.
Arms control, maybe. My hesitation about arms control agreements stems in a
large measure from the fact that our arms control community is intent on
giving the Soviet Union a license to violate them, by finding every
possible benign intepretation of the evidence for violation, and saying
that if violations did occur, they aren't important. In the Soviet
system, this gives their hawks every possible internal political
advantage. I'd like to swap some of their territorial secrecy for some of our
technology, and this would make other agreements more feasible. I'd
like to swap something to get them to give up their draft.
∂30-Dec-86 1717 JMC SERC probation report!
To: roberts@SUSHI.STANFORD.EDU
I have received a form from SERC grumbling about not receiving
a "probation report" on you. I hadn't realized you were on
probation. What crime did you commit? Anyway I'm sending it
to you, and you can have it filled out by whatever faculty
member you consider appropriate these days.
∂31-Dec-86 0232 JMC
To: RA
morave.rev[f86,jmc] is a letter. page 3 is just notes.
∂31-Dec-86 0256 JMC
To: VAL
It turns out our plane is at 6pm, so I'll be in.
∂31-Dec-86 1412 JMC re: star wars continued
To: ucscc!ucscd.beeson@UCBVAX.Berkeley.EDU
[In reply to message sent Mon, 29 Dec 86 08:55:35 PST.]
I have a clipping from the Wall Street Journal containing the main part
of the statement by the emigre scientists. My secretary is sending you
a copy at your Felton address.
∂31-Dec-86 1426 JMC
To: VAL
The handout looks fine.
∂31-Dec-86 1440 JMC Washington
To: VAL
It seems we need to be there on the 9th rather than the 12th.
∂31-Dec-86 1542 JMC re: Video lectures for new Xerox President
To: oshea.pa@XEROX.COM, bobrow.pa@XEROX.COM
[In reply to message sent Wed, 31 Dec 86 11:05:33 PST.]
Unfortunately, my schedule has changed, and I now have to be in Washington
on Friday of next week, i.e. I'll be away from Tuesday thru Friday and
busy on Monday. The following week should be possible, say Wednesday.
I haven't time to think about money now, so I'm agreeable to doing the
interview the following week, and will be reasonable about money if there
is further use of the material.
∂31-Dec-86 1603 JMC DARPA proposal
To: "@RESASS.DIS[1,JMC]"
DARPA wants a visit on Friday the 9th and will need extensive
revisions in the proposal shortly thereafter in the direction
of showing how the research will affect programming. VAL and
JMC and CLT are primarily involved, but all should come to
the meeting on Monday at 2pm. We'll start from my office.